opam-version: "1.2" name: "coq-stdpp" version: "dev" maintainer: "Robbert Krebbers" authors: "Robbert Krebbers" 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: [
"coq" { ((>= "8.5.3" & < "8.7~") | (= "dev"))}
]