opam

opam-version: "1.2"
name: "coq-quickchick"
version: "0.1.0"
maintainer: "llamp@seas.upenn.edu"

homepage: "https://github.com/QuickChick/QuickChick"
dev-repo: "https://github.com/QuickChick/QuickChick.git"
bug-reports: "https://github.com/QuickChick/QuickChick/issues"
license: "MIT"

build: [ make "-j%{jobs}%" "plugin" ]
install: [ make "install-plugin" ]
remove: [ make uninstall ]
depends: [
  "coq" {>= "8.7"}
  "coq-ext-lib"
  "coq-mathcomp-ssreflect" {>= "1.6" & < "1.7~"}
]
available: [ ocaml-version >= "4.06.0" ]

authors: [
  "Leonidas Lampropoulos <>"
  "Zoe Paraskevopoulou <>"
  "Maxime Denes <>"
  "Catalin Hritcu <>"
  "Benjamin Pierce <>"
  "Arthur Azevedo de Amorim <>"
  "Antal Spector-Zabusky <>"
]