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

Format: 3.0 (quilt)
Source: mathcomp-abel
Binary: libcoq-mathcomp-abel
Architecture: any
Version: 1.2.1-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/abel
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-abel
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-abel.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 1.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra, libcoq-mathcomp-field, libcoq-mathcomp-fingroup, libcoq-mathcomp-real-closed, libcoq-mathcomp-solvable, libcoq-mathcomp-ssreflect (>= 1.17), ocaml-dune
Package-List:
 libcoq-mathcomp-abel deb ocaml optional arch=any
Checksums-Sha1:
 d7b29f10941f133ed4b3862a944a9d420e70b672 74012 mathcomp-abel_1.2.1.orig.tar.gz
 83e39fa9fb813c8c463bfe58b4aeb8e9a91b196a 9732 mathcomp-abel_1.2.1-2.debian.tar.xz
Checksums-Sha256:
 1f626cff3115794d7753cf2a7a15373579f2ef5d895e8ee5423e4dedae1b2167 74012 mathcomp-abel_1.2.1.orig.tar.gz
 faf3be97536c6b26b352dc869062ed21002f186fea4e87df3835722457b9d4ff 9732 mathcomp-abel_1.2.1-2.debian.tar.xz
Files:
 69fab55b3bcdca2a8d6a21420bccaa44 74012 mathcomp-abel_1.2.1.orig.tar.gz
 f58ac79c41afc1109e9378d24b3eea0e 9732 mathcomp-abel_1.2.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRdW0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/QkQAJZsZV6hOSIoMX8PMBGYBe2VDru+aU3j
NqfZMjbxtxSSHt7xOFE3u9cBTlnRGEd2sXivtOSUpHM9M9mdjg/YpdOY4BVi/2nF
DnmgRv9w9K9KkGU2aQ9iNuFDatwpJm65ozpslaiZ23svqljO109pby+GUFcKcXIz
fd6dlbP5N5kZzB/uSQ6exqZhGFHEbnt23pn+WCvGWmqJt3DEUPuJ1Yw0pavrd+IU
RMETgIBU9PMyWtEYflF8SeBk7PTUvbczafVZeE9/2VpuCDBnAxcC0lewucwBiJfd
vxbrqealVJ4Zqttdhl2/iQYC3iUjq+bxm888SYkUoCSqTCfqHxWEuvDlpUG/1BJD
A7Qy7fzczkwa6LBDungF6wrr9HbYpB3pUG42qQ9cyw+Ra6S4EBfs60lDMOXnTb7p
kMG2fOqqCiRFHDUqimSS3pP/0Cz5MQtgsVdu+qyXixUNSk8cVWNH8x14ixsLngBB
feBzUqbsro99gm09snPzz6wCN+X4FEYi2DEXDkDfRLuspWS/O4AORqBtN2lFZdf7
XaYHZD/h7SsHB889YaFWqGGm4sdf5+rbWg+iDxPz8qqIYc/mnWPuWGylBL8lLFU8
s1H/cz53RboKMLE72EbiRD6tYHKp/TQGfkZpdnw45xkzyi9hS7oK4+wXWQysICK0
buaafIxD9IUV
=hqu+
-----END PGP SIGNATURE-----