Commit 919d5cca authored by benoit's avatar benoit
Browse files

fix coq-prime

parent 53d02ea6
opam-version: "2.0"
maintainer: "thery@sophia.inria.fr"
homepage: "https://github.com/thery/coqprime"
bug-reports: "https://github.com/thery/coqprime/issues"
dev-repo: "git+https://github.com/thery/coqprime.git"
license: "LGPL"
authors: ["Laurent Théry"]
build: [
["./configure.sh"]
[make "-j%{jobs}%"]
]
install: [
[make "install"]
]
remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Coqprime"]
depends: [
"ocaml"
"coq" {>= "8.8~" & < "8.12"}
"coq-bignums"
]
synopsis: "Certifying prime numbers in Coq"
flags: light-uninstall
url {
src: "https://github.com/thery/coqprime/archive/v8.8.zip"
checksum: "md5=3430856778d10abe378fbdd385ac834d"
}
opam-version: "1.1"
maintainer: ""
homepage: "http://coqprime.gforge.inria.fr/"
bug-reports: "http://coqprime.gforge.inria.fr/"
license: "LGPL"
build: [
["./configure.sh"]
["make" "-j%{jobs}%"]
["make" "install"]
]
remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Coqprime"]
depends: [
"coq" {>= "8.7~"}
"coq-bignums"
]
http: "https://github.com/thery/coqprime/archive/v8.7.2.zip"
checksum: "0a868ef76d67d7c76fd64c2bfb481bbc"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment