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

Format: 3.0 (quilt)
Source: mathcomp-multinomials
Binary: libcoq-mathcomp-multinomials
Architecture: any
Version: 2.2.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 d78c9e4b6c0bc161bf34792abb671ab1ea29e785 9064 mathcomp-multinomials_2.2.0-1build3.debian.tar.xz
Checksums-Sha256:
 d9acbec3aa7b823bf9b6230b06842ef4a4764b0822cb064ea52c062d7606abd3 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 417322a96b23db40d6c4c6dac7b92398b6165364c334bbfaff6961a055867c73 9064 mathcomp-multinomials_2.2.0-1build3.debian.tar.xz
Files:
 ee2b84af53fa2c0805ec4badb416eab7 81190 mathcomp-multinomials_2.2.0.orig.tar.gz
 6a59b7b1f072a16ea387d661a219d90e 9064 mathcomp-multinomials_2.2.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYAnrgaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2y3Q/8DaTUjPzpGjjegK0vF2xM
HorJWBunUV5xJes60bhEW2OktR5uu+cBTujKrA/wXsd7Ap3lKTey6C70/9ZEWVlV
xethvEgVkPm0MQ1qC5re/pbkxVx4Iye85CE3vbrRxvHBwVZE1SRVVo/4Txwp/+uP
z12uTKusNooLovebTEqjpRv7Qw9g+sllimX9coSJ5rRwkYSHYp6wFhodSSBogkKY
rDoKdm8ki+/JcZXoTk43QZhpWvD30BX3Z7vOEReI50gGG4BeABY2NH4jix841lMi
GMkwRSHH+fgAJ5X3MJAxV+NrY3kbygsdhrrgEvZzsQTiG/f78wbvTj8+dbh6KHQK
VJl6P+63+w7sN897Q1KWHxgDFQAFooD2SbOaR6fsbHPL/wxMKT20agLMtUreGSpe
mqAKyctg0bXbrHV7o9ud4xQ50ne2G3G4K/LPYVxLvzbt2YX9NtQ7mHjQCY0S1in8
wZG5vix0olpxgyGV0MCPGj7DL1Vc/Q2KHliwHMFshBFpwNzqReF6xyx+HW5bkz8U
kSuk31cVEFU1Ro4HZuId5wswckFzwld3n2ymq/Q9l7K2y/xM5BjXa1c3nxjbpvRX
hizLif/tybpgiUATmucjaStlwcvni0fv0VHvSleq1CKp95+yQoWTJHM9gMqU7P3E
V0ipYbCLJDp4tD3MKIyLCLo=
=Yrzd
-----END PGP SIGNATURE-----