Format: 3.0 (quilt)
Source: mathcomp-finmap
Binary: libcoq-mathcomp-finmap
Architecture: any
Version: 2.2.4-3+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/finmap
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-finmap
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-finmap.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-mathcomp-finmap deb ocaml optional arch=any
Checksums-Sha1:
 5c48dfe25ed24c782b1cda3004911492e605a93a 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 923422a1a5c8b1a5050cde602dccb598764638d3 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz
Checksums-Sha256:
 cb160fd405a46ee0ae7813d6e3ac4748cfa41511d6958a7280b68ab71ea12167 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 792a0f1613ed90948ff1d4e5374e9d539ac224f0c4d4be3baa830114cc005402 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz
Files:
 eefa8908cc80618e248cf79886116145 70990 mathcomp-finmap_2.2.4.orig.tar.gz
 7b455df5ba2d72851b26913205fb16a5 9524 mathcomp-finmap_2.2.4-3+ocaml1.debian.tar.xz