opam 567 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
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"]
Ralf Jung's avatar
Ralf Jung committed
14
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/stdpp'" ]
15
depends: [
16
  "coq" { ((>= "8.5.3" & < "8.7~") | (= "dev"))}
17
]