this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #23639 from drjdn/opam-publish-p5scm.0.3.1

Package p5scm.0.3.1

authored by

Marcello Seri and committed by
GitHub
be42f214 c2f5080b

+43
+43
packages/p5scm/p5scm.0.3.1/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "Scheme via camlp5" 4 + description: 5 + "This a simple scheme implementation using pa_schemer from camlp5" 6 + maintainer: ["drjdnielsen@gmail.com"] 7 + authors: ["Jason D. Nielsen"] 8 + license: "MIT" 9 + homepage: "https://github.com/drjdn/p5scm" 10 + bug-reports: "https://github.com/drjdn/p5scm/issues" 11 + depends: [ 12 + "dune" {>= "2.8"} 13 + "ocaml" {>= "4.12.0" & < "4.15.0"} 14 + "menhir" {>= "20201214"} 15 + "cppo" {>= "1.6.6"} 16 + "camlp5" {>= "8.01.00"} 17 + "sexp_pretty" {>= "v0.14.0"} 18 + "ppx_sexp_conv" {>= "v0.14.0"} 19 + "utop" {>= "2.7.0"} 20 + "odoc" {with-doc} 21 + ] 22 + build: [ 23 + ["dune" "subst"] {dev} 24 + [ 25 + "dune" 26 + "build" 27 + "-p" 28 + name 29 + "-j" 30 + jobs 31 + "@install" 32 + "@runtest" {with-test} 33 + "@doc" {with-doc} 34 + ] 35 + ] 36 + dev-repo: "git+https://github.com/drjdn/p5scm.git" 37 + url { 38 + src: "https://github.com/drjdn/p5scm/archive/refs/tags/0.3.1.tar.gz" 39 + checksum: [ 40 + "md5=9c7351531eb896d4b8fb49f5f76ccc90" 41 + "sha512=e515523be854b5fa41e66357ef20282458a90240f29eb0e6075f55bbd6d4dbb24d91cb09d3389f77ac00530408825d7aef46c1133e1a35fce69113464c050eed" 42 + ] 43 + }