You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
25 lines
799 B
25 lines
799 B
opam-version: "2.0" |
|
maintainer: "francois.pottier@inria.fr" |
|
authors: [ |
|
"François Pottier <francois.pottier@inria.fr>" |
|
"Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>" |
|
] |
|
homepage: "http://gitlab.inria.fr/fpottier/menhir" |
|
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git" |
|
bug-reports: "menhir@inria.fr" |
|
build: [ |
|
["dune" "build" "-p" name "-j" jobs] |
|
] |
|
depends: [ |
|
"ocaml" {>= "4.02.3"} |
|
"dune" {>= "2.0.0"} |
|
] |
|
synopsis: "Compile-time library for auxiliary tools related to Menhir" |
|
url { |
|
src: |
|
"https://gitlab.inria.fr/fpottier/menhir/repository/20200211/archive.tar.gz" |
|
checksum: [ |
|
"md5=01577e5f15380c35bdaa8fd818204560" |
|
"sha512=a686c4b047d5236c425afcd7f179964191268ff448b8d18510579d742a7256855049bc4fe568bb8f1b0d6cbfb758d95cd05e621e3410b75245bb799d623725d6" |
|
] |
|
}
|
|
|