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.
 
 
 
 
inferno-experimental/inferno-sample-client.opam

24 lines
617 B

name: "inferno-sample-client"
opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
authors: [
"François Pottier <francois.pottier@inria.fr>"
"Olivier Martinot <olivier.martinot@inria.fr>"
"Gabriel Scherer <gabriel.scherer@inria.fr>"
]
homepage: "https://gitlab.inria.fr/fpottier/inferno"
dev-repo: "git+https://gitlab.inria.fr/fpottier/inferno.git"
bug-reports: "francois.pottier@inria.fr"
license: "MIT"
synopsis: "A sample client of Inferno"
build: [
["dune" "build" "-p" name "-j" jobs]
]
depends: [
"inferno"
"menhir" { >= "20201201" }
"pprint"
"qcheck"
"alcotest"
"qcheck-alcotest"
]