-----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-1build9
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
 f07c1c4cd6bf9494ce12cc7a4deb5aaf72f52318 9252 mathcomp-algebra-tactics_1.2.4-1build9.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 84b7d646657540079fd505caa8abfaace8e3876410c5a5b2695e14f34e6c080e 9252 mathcomp-algebra-tactics_1.2.4-1build9.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 34cc62c11db775a0bf0571410c535789 9252 mathcomp-algebra-tactics_1.2.4-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5udgACgkQ808JdE6f
Xdn1zw/9FUVQxJVQ/0t5uaElukGOWrP9IoGHIPf3wI56LCV+HBjLZssxV6uTrOUi
Xwm4utGsraACG2xHnd9iIG8iqbm46YUhWCTvPU92nqs00WGr+avyHvN7JIJZbHrh
5Bt+ETIYHtIaAHXldd1DzSFhBbDhqFRLGZ1CO/42AenYmtyys8adIP6D8B+VC2tM
BH5pxY4w11o9fckIfPYCFXO5a+iwXEIdXRQhm43k8vX/mHZOCuA4vIN/odqcuczb
v+FjoDvsetrsOCOg3EfehvQpqEfHvuJzmhnan5x25X7G6VOg/5Nj9IuCYl/rfLKI
63sfwI9VvVcFO+b9gt8goywN+fYBrVZvGuEWbRPR7y0f/j6K6TssN1T0fruzve+j
pBwlGIrDqDz8ZKS5JKWzPSk4laMxn/TruvumRh+/BSUooRZz/pePDvGe8EugA34e
cTRwLZuawkk9igHj5Lr27J2ifdZ2W29O3e839OOsX8MYnr94Zk+WzoUPXYpBUI2h
e1Z7RJfGSKuqYEv+dRefc6JDZqpgvXbkrRtbffSU5qO1Aoz65kZiXdpDtCLExL/1
ipF1XukvY1Np2FWLm9SoSySnfqSuYT4sXEgcqsa+DsX6px6Pogisd/3rDHvPc/GI
M4NJDRiQk0e1vF1kJz8zl2h6fF6ARACNOHvbCkRjR6u1cWEJ15E=
=MkPO
-----END PGP SIGNATURE-----