-----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 Uploaders: Julien Puydt 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-----