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

Format: 3.0 (quilt)
Source: mathcomp-abel
Binary: libcoq-mathcomp-abel
Architecture: any
Version: 1.2.1-2build1
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
 5d35b3793d3d4b699c943376366ca11f0da8ca84 9804 mathcomp-abel_1.2.1-2build1.debian.tar.xz
Checksums-Sha256:
 1f626cff3115794d7753cf2a7a15373579f2ef5d895e8ee5423e4dedae1b2167 74012 mathcomp-abel_1.2.1.orig.tar.gz
 e41aec0c6f3fd579812770e31fc5058f1ff39c83f8824d7dba0f131b070ebf55 9804 mathcomp-abel_1.2.1-2build1.debian.tar.xz
Files:
 69fab55b3bcdca2a8d6a21420bccaa44 74012 mathcomp-abel_1.2.1.orig.tar.gz
 892301e3d8e68e0d3b877b57bb10bb1c 9804 mathcomp-abel_1.2.1-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sLwACgkQ808JdE6f
Xdkhdg//cyWd4GVUVMuJuN5z5OlcaKo7RRMXVFkBPDaa2zmPRBL2yDIbXjeHaGYE
Ek/+ANUKaEIlqqgvWAowFmQ2O5bSXIf5lU9FjAt7Qfr4HuFSzWKFNTeSuihMn515
9UgAsyesc1HEY02IJpogx7wH275nz1HnNi58W9wvJdP8FXIrveL082TG8MacYszl
UCGC8npNTepFoi4wE9Vaz+T4zulFOqrDklES4YH5ehkji/78FjovbXMWfoJWOMzA
Rei4c6du65+Bv4aVSJo2Jkjp3RWRUbl4cc3n0aVddYmHZ3BcnoxUBNkmyrytzW1I
xya7tKf3vGVnmoFhnv6O3ei6emG2GJK8y9iIH+UAlRKYjO1D6xWUSeoeTZIUQ+Mz
XjrpIpmzGLtugnKiPq5ILMF/La6qXFIo59ufpnHOa4U7iJUkRQh+bQv/Gz3eFeXm
aTUhOdzLBmkJpKu+/GV38vQHvjzdYf68NOlUuHHkBpNfSjHLL0RfEGxRYhmcyXLh
qUwNMv5yLw0kDJe5Ucxmr0jQvUn3tFO9SCknBAVlHewXAAXVLYS9/is2QlGYsQ5+
ylr5BYP4vq2HeE+tCwFszalO0pqIYDqiEryksgTlOs1PQZnejcXUUrVTps1QgFz5
+s0nvgk3WxihfmF8arP0EdAniOYf5ua+HaKWWVKP4G3htyS8ENc=
=AKR2
-----END PGP SIGNATURE-----