opam 571 Bytes
Newer Older
1
2
3
opam-version: "1.2"
name: "coq-stdpp"
version: "dev"
Ralf Jung's avatar
Ralf Jung committed
4
maintainer: "Ralf Jung <jung@mpi-sws.org>"
Ralf Jung's avatar
Ralf Jung committed
5
homepage: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp"
Ralf Jung's avatar
Ralf Jung committed
6
authors: "Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung"
7
8
9
10
11
12
13
14
15
bug-reports: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/issues"
license: "BSD"
dev-repo: "https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp.git"
build: [
  [make "-j%{jobs}%"]
]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/coq-stdpp'" ]
depends: [
Ralf Jung's avatar
Ralf Jung committed
16
  "coq" { ((>= "8.5.3" & < "8.7~") | (= "dev"))}
17
]