-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-3
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:
011476804b08b0380b0b47608f480d8c4bcb6a8d 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
420fe277df64120d874ed7e5ac1b8c0f946ac4cf 8964 mathcomp-multinomials_2.2.0-3.debian.tar.xz
Checksums-Sha256:
d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
d736798fc05f10407520295f640e7037b2cb99572a1d19160e2e71b1e58dd69c 8964 mathcomp-multinomials_2.2.0-3.debian.tar.xz
Files:
ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
383fc10daee447d495bfc18ca70cd1ec 8964 mathcomp-multinomials_2.2.0-3.debian.tar.xz
Dgit: b138c0c4bfb63321d16fb80b507f00bb57083c9c debian archive/debian/2.2.0-3 https://git.dgit.debian.org/mathcomp-multinomials
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmauJBsSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBUVwH/30rQY4pPcGnKbgvpZGvNGa8oCJfkcTw
m/zilHSwDtVKjVS22Q4WLqg03vh/LEHUzehVieN7PpJ8sM5sY1u0IVslHvl3yqL6
OZjAx0c5HpbNTDqu5qR3Q2/ViUXdyypGPq4HHUjdvPj2pGK3YF6DxS5C0KSrqMqL
YLtVjWAeTaRDndLELYWcw7PHXXH2u7RO1D6yuvxKZUx7PWyxLMzhIYoMNZJlNeek
LY18TZUdHis4PU3rtKnYWtJS532BwYDwkTMzm1CkxCrUJPBe3YIhqcgY8WEGj5FI
I1vJETKGJo53xkYHIJdjseHWMU1LCNV8/QGe14hJ9lDftJFUq6cBZoQ=
=Ax2s
-----END PGP SIGNATURE-----