opam-version: "2.0"
version: "1.0"
depends: [
  "coq" { >= "8.18" & < "8.20~" }
  "coq-equations" { >= "1.3" }
]
build: [
  [make]
]
