Format: 3.0 (quilt)
Source: coq-math-classes
Binary: libcoq-math-classes
Architecture: any
Version: 9.2.0-1+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/math-classes
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-math-classes
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-math-classes.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-bignums, libcoq-stdlib
Package-List:
 libcoq-math-classes deb ocaml optional arch=any
Checksums-Sha1:
 c88ef1700e917829716cce69ded8e13b7caf29aa 169210 coq-math-classes_9.2.0.orig.tar.gz
 cb102252f570423a569e40d33299dc8d4e997d3b 3108 coq-math-classes_9.2.0-1+ocaml1.debian.tar.xz
Checksums-Sha256:
 f39853f10413b56fe17612d288d9456c540620110eaaf2b50b87d17f28534176 169210 coq-math-classes_9.2.0.orig.tar.gz
 641a526aae84d1e4ff6f2993eabc43bea7e6adfbc12a81de84c8439ef1b82a8a 3108 coq-math-classes_9.2.0-1+ocaml1.debian.tar.xz
Files:
 b9c8296a7117b2c077607b281d346e8b 169210 coq-math-classes_9.2.0.orig.tar.gz
 bf99d9007b0f6c19f6f00185cdf2f7e1 3108 coq-math-classes_9.2.0-1+ocaml1.debian.tar.xz