Format: 3.0 (quilt)
Source: ssreflect
Binary: libcoq-mathcomp-algebra, libcoq-mathcomp-boot, libcoq-mathcomp-group-representation, libcoq-mathcomp-field, libcoq-mathcomp-finite-group, libcoq-mathcomp-order, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp, mathcomp-doc
Architecture: any all
Version: 2.6.0-3+ocaml1
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.7.4
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), dh-coq, coq (>= 9), graphviz, graphviz-tools, libcoq-hierarchy-builder, libcoq-micromega-plugin, libcoq-stdlib, lua5.4, rocqnavi
Package-List:
 libcoq-mathcomp deb math optional arch=any
 libcoq-mathcomp-algebra deb math optional arch=any
 libcoq-mathcomp-boot deb math optional arch=any
 libcoq-mathcomp-field deb math optional arch=any
 libcoq-mathcomp-finite-group deb math optional arch=any
 libcoq-mathcomp-group-representation deb math optional arch=any
 libcoq-mathcomp-order deb math optional arch=any
 libcoq-mathcomp-solvable deb math optional arch=any
 libcoq-mathcomp-ssreflect deb math optional arch=any
 mathcomp-doc deb doc optional arch=all
Checksums-Sha1:
 ab84ce1484e3d532c422d1945ce159da72834437 2340624 ssreflect_2.6.0.orig.tar.gz
 3176323767dc72c3fa780e80b46b21b7cc7e30f8 13324 ssreflect_2.6.0-3+ocaml1.debian.tar.xz
Checksums-Sha256:
 b2e8c5c93fdc9bb5ed9b8a06d1c028aa0096a45b1f3ac6c6509d7a6500c72253 2340624 ssreflect_2.6.0.orig.tar.gz
 6e44eefb58252b7eef90706d8a739765bfc419a144877f32782ce41a31a199c0 13324 ssreflect_2.6.0-3+ocaml1.debian.tar.xz
Files:
 cde08c1c6d3b70fe71f2f82e5ce3784f 2340624 ssreflect_2.6.0.orig.tar.gz
 98278daa62b186e366fe378c518fb58a 13324 ssreflect_2.6.0-3+ocaml1.debian.tar.xz