-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-abel
Binary: libcoq-mathcomp-abel
Architecture: any
Version: 1.2.1-1build5
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.1
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, 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, ocaml-dune
Package-List:
 libcoq-mathcomp-abel deb ocaml optional arch=any
Checksums-Sha1:
 d7b29f10941f133ed4b3862a944a9d420e70b672 74012 mathcomp-abel_1.2.1.orig.tar.gz
 de0312944e8866b542e5aee3a4ae634f06234193 8504 mathcomp-abel_1.2.1-1build5.debian.tar.xz
Checksums-Sha256:
 1f626cff3115794d7753cf2a7a15373579f2ef5d895e8ee5423e4dedae1b2167 74012 mathcomp-abel_1.2.1.orig.tar.gz
 84d6ef5f21443358203c77a7e9f7c73e95b38f547941e16e2de0e209576da3cf 8504 mathcomp-abel_1.2.1-1build5.debian.tar.xz
Files:
 69fab55b3bcdca2a8d6a21420bccaa44 74012 mathcomp-abel_1.2.1.orig.tar.gz
 aba629ae46bc17db8bbe3f1c321f409b 8504 mathcomp-abel_1.2.1-1build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudvIACgkQ808JdE6f
XdnfxhAAyxJB1M7IOi9q9/2oJEI+104lHLBYR6bKDJ5oMKu/VoRUMx0I8OR7krN8
kMHkOv1WFmiYdvjacs3EM+5fGXvsUbVOfR1CGtJpPnY8pcjwSWeL9Aqp1FLsxUxT
4hxIUISdC4ud38c9ocRwByotAlkjSA+ZUwiuI82Xabx8nCTf5qh1euGGuYLwE6Ed
oiT1dSGV3DSttyIxHe41uedsAowLzLdHATEYkb8xQqKJFjtqxm2UK0DQZotCQeKa
rDGuo5fs0oiQ77W69BPtUTyRNPIs3jBI6aKkU+K62y7dhjcMWNIBJl3S7hnY4fvX
oHJWPuyBWSer4uBO2NUH7EHgc1J/2I5LQgKwtngPMV+ku1jV2cFGsF5RIVqrsA20
gc6KeBvDgxaBKlsMZT64wjQFDerwnGdHcqglUXD4AD/SYI2UK38kNKV6RU/VF4SC
CWVaNjD6DDzz++CaNzlnXHqy3x4DtXytuwHkMJwglUlCBVAOfEye8D/afX7YnLaV
s6Ob+U94jU3bP33/njQEM+wz4FiAahRZ+sFUg54v9DHCjins+uJEXj+eRyhP/x2S
yvFMCxVSNcXiIHZbVkwQ3UwveOZEozpdSm+WMktia0aFsP4bvZ0dFDMNhrmm7k1M
N9CrfoDR/sHeghK59KVx928Q72gUbUer9z2raZeJ0WZMNuMT6ps=
=7e5H
-----END PGP SIGNATURE-----