Format: 3.0 (quilt)
Source: mathcomp-analysis
Binary: libcoq-mathcomp-analysis, libcoq-mathcomp-classical
Architecture: any
Version: 1.17.0-1+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/analysis
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-analysis
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-analysis.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-hierarchy-builder, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-finite-group, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, ocaml-dune
Package-List:
 libcoq-mathcomp-analysis deb ocaml optional arch=any
 libcoq-mathcomp-classical deb ocaml optional arch=any
Checksums-Sha1:
 7a2d50ee3b8b718c18f679b4a686dc6469070f1f 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 05d57a0bba7bb78c38ff12fb5136ed44f32f5fcb 9672 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
Checksums-Sha256:
 44872722ff98bb06d165fe86430b6028290e8adc309759d5c9986a0bd5bfde52 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 e5ba03a9fa20f496036f030137c7a4949b3de4ae2bac27acc07e791a945eb659 9672 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz
Files:
 8dfa49c710a93867c0c60cc092e25377 1054482 mathcomp-analysis_1.17.0.orig.tar.gz
 1bdfae68c21f4776544e0c08f7f35e52 9672 mathcomp-analysis_1.17.0-1+ocaml1.debian.tar.xz