coq-mathcomp-word.opam

opam-version: "2.0"
version: "dev"
maintainer: "pierre-yves@strub.nu"
homepage: "https://github.com/jasmin-lang/coqword"
bug-reports: "https://github.com/jasmin-lang/coqword/issues"
dev-repo: "git+https://github.com/jasmin-lang/coqword.git"
license: "MIT"
authors: ["Pierre-Yves Strub"]
build: [ "dune" "build" "-p" name "-j" jobs ]
depends: [
  "dune" {>= "2.8"}
  "coq" {>= "8.16"}
  "coq-mathcomp-ssreflect" {(>= "2.0" & < "2.3~")}
  "coq-mathcomp-algebra"
]
synopsis: "Yet Another Coq Library on Machine Words"
description: "Yet Another Coq Library on Machine Words"