Format: 3.0 (quilt)
Source: ssreflect
Binary: libssreflect-coq
Architecture: all
Version: 1.14.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>
Homepage: https://math-comp.github.io/math-comp/
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/ssreflect
Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: debhelper-compat (= 13), coq (>= 8.11), lua5.1
Package-List:
 libssreflect-coq deb math optional arch=all
