opam 605 Bytes
Newer Older
benoit's avatar
benoit committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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 {
benoit's avatar
benoit committed
24
  src: "."
benoit's avatar
benoit committed
25
26
  checksum: "md5=3430856778d10abe378fbdd385ac834d"
}