-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 1.6.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/multinomials
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-multinomials
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-multinomials.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-bigenough, libcoq-mathcomp-finmap, libcoq-mathcomp-ssreflect, ocaml-dune
Package-List:
 libcoq-mathcomp-multinomials deb ocaml optional arch=any
Checksums-Sha1:
 e387576a4c03adb12fecf2f4a3cf375c0738b2f7 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 6f9115c4006ad3bd1d46bdc9815859253f048dc7 8792 mathcomp-multinomials_1.6.0-2.debian.tar.xz
Checksums-Sha256:
 bfec44f8a5e4cfcf793d4c616674ed0f52fee6f4bc4ae0f0f1f45f2418b0fa29 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 e56bbd4e081b4a456244fc85f9d9a6ee7fe585592f8d171176660f9f662559d9 8792 mathcomp-multinomials_1.6.0-2.debian.tar.xz
Files:
 26ccd97cbd700ac7d78bb0c9de495b25 85861 mathcomp-multinomials_1.6.0.orig.tar.gz
 478f1b3249c042194be2b7949f719cf4 8792 mathcomp-multinomials_1.6.0-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdAwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRAAgQAKRXxvcPjkH8N2HkS4zJgS6laq7LbzfK
0uoLzkPby4pHgszDsKLOvIYjbABTEZnIYN8a0cGdUpeWRGlbNoAFV0HWGxmjoFfj
+K1JfkS58e1mK95TunbxsFil7noUn7bN2l5M1E/V/R8qVSb7eIW9EhkLtvXsZzTv
HEalRaoKN0guroXcYmZbF9sgEugQih+dtQcVq0lyv8FT6kGjMfGJ21wa8LlMFWi4
XzalxjYquydamZWF8mpqgCjZMQJyDa3rQB6Ida/tEFCw+gdyOhglcS9IfIGHkS9+
8CAhIf89ir3g63rezuwNSV/sUos0A0h0LCStzH8qBFXR7l/36wnBI/SPt3Ib5nr2
CxTwfBr+LKDKdUsBT0lm7HAUnmlENHi+BKkua2yx6gEixbUQZJcVnsGD0wJvxFCs
yUYkkEwtMdHWP8uWljMzMeGlYqbYYFinHDni3mjdg+3Q/MgD/nuGBXFPjFxmfdvc
gs8smKft3v1Av+YnpuOg9fClHgZi0IlB1TDdVfFdEGDDUxVjQBdngs7zqSx4eiAb
Cx+DJIeUTUullE+Xfd1cFWXLCERQ3HMCH2lHsTWJv10iSZt3ONL6JQ7SdGnalXs3
5TlX/dayWeP3ni+emRIlcZ3wX/jWe1bXBYWmQydWBYJYtD9xzSYoqqVLzEsxIGV+
1iCC4qZAF6eZ
=FpDX
-----END PGP SIGNATURE-----