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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.4-1build7
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/algebra-tactics
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-mathcomp-algebra, libcoq-mathcomp-ssreflect, libcoq-mathcomp-zify
Package-List:
 libcoq-mathcomp-algebra-tactics deb ocaml optional arch=any
Checksums-Sha1:
 ee8e62d503ac875f9680d5438470b5edb826d2c9 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 d4b06b660514b9bbe01691c0c608dc701945705d 9232 mathcomp-algebra-tactics_1.2.4-1build7.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 74e70112c2a9faa4fd158ae6ce6635b53cbf86d41bab77972d5d2a00245d88b6 9232 mathcomp-algebra-tactics_1.2.4-1build7.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 7bd7949e3621001acb3eb78554552889 9232 mathcomp-algebra-tactics_1.2.4-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMWCgACgkQ808JdE6f
Xdl91g/8CvYkUonFC35cqhH3qDRwrPIUKmtjzwuWaYeROKrKHwO2S+3srGNRpt53
tWUS/piX+sPyqGU+OPV3c7NqZfY/RQSFC4QvQbo/L+by9ETobXciHe0KvnYTQtmo
H6HHQU6Z/qjuJrWMSphLzTSFweIfVhav9JErJ7nnex1ljxxcWNzarXrWNehiI1iT
ecfi+lGFPn96UIDed6kPMVeE7tN08Af4NL8vJb49bNpgo31xzpVTB7IHmD20VU1U
VpPwS/sRQPhmE1D3u1Qm5uTEMqC/JDTYMkkchn5aOXdQauht5NG3f+HGE2zp4xtD
J7/uvbqMnChnGPQeHrWcLKHDT60+zcqYf9UuoKJeWuKY+YuG51fGJzl5Od+bKzLY
L0rjMHxAw92u3F1RwTjpGCYrD0cl/GoQPSyd491In7EhLYYaF/h62mwB/CIHcHSV
q5CnMBg7f+WYsiz7KSqBP0Ytp6NOlhiJ5cBH8PC5v/GYi101toaE+pYGeoFTo5qx
LkM7UQPRXueJzfGBZFQVayiEZ5boNxygG7tjgNXGremkt1VQTteBmn2LTpBPyKek
OtJ+EdLmJ0OHYxMBa9rrSiC3KH72TVU29y87PXUqLA1haNuXbs4MXxM2Lltna8Nf
DfjjuA1Ozd94kZlaiL1XTmIt5INBPKXxaLAf7wRNkGaEsHk/LAw=
=MqdE
-----END PGP SIGNATURE-----