-----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-1build1
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
 2ba969cc55c4ffa0ca94a1a769df40b6b75b07d5 9064 mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 508f835a2437c96a49495499341bc0171537bd5b1971a91d4d98668a2cc36194 9064 mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 dc64c3a2bd034a7e709766cfe401de41 9064 mathcomp-algebra-tactics_1.2.4-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1hisACgkQ808JdE6f
XdlCdBAA0CWQX5KA6LbZ8OFk+lpWXBvB1lsXRzy8Qzuj89eVsbRzeopWRad1TdvO
5WFcKWqI25NiO5Awmc+3dAjJm8+esPzAK4k3iatguBY4kjPZsPAKo7UgkJdFwEFC
/4OLVBOeunjppYNffmmzAwyLz2xB4AHsKqHtyNdFuYNDCLkdyrxkStcpM/VnbzH8
v+UvIFa1jAntFrv7pEV2+Rz4fJTGbYSrWiChLPGHNQY9QTgq0g+JG04fqNJkkR/f
6DSG4Dd8idr2DZiTFisxfUQ4DbtyKPZMa6u0ETSNG0Lvu2IR51W/VuNpogxwLXaJ
+JPNsbE75bXc8ynRXHgfsEqd2Y8aZVpdr2+37ISAC2m2Xg7uNPcp2qQOhMsQTNWj
ieZ8druaWe+jtBkeD48JJeyOUsngJsRyBJHD97lKZDM+5UMiepmSNCAEjQ7QFvNl
I34H9yfA+s7zmORk/S30NtbEw9mBLbNIkV/kn/q1Jx76x4s2FKGcL1KR1hLEOydc
cLLOcQRuwj32riUqFW3+rHYx7xAyWcjD81Ztko6sRFqgQ9ktHJ6O3u397VlLDMWB
4R9PJJoN5iLTrhrSNTKNGJyhaG+8aAevMKcEBIzxTV7ND5lvVeej4nRr+Sl9zilX
B8xVEXywvf+Qr0eEL69dxxINQwy8/V4EbSwtJRw1Rv+jrTT+HcI=
=PRJv
-----END PGP SIGNATURE-----