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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.3-3build4
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.6.2
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:
 0549a0a8cefb064df69ec32f6f8cd784005d49e9 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 db30598dbe020dcd69d6d7a85e6ac30f6e702e43 9012 mathcomp-algebra-tactics_1.2.3-3build4.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 b1797c2d1485d40f2f3836e275703e9d6678e8254339161fb0efb7760a319112 9012 mathcomp-algebra-tactics_1.2.3-3build4.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 db877fd51998d548d58cb1972cb51f42 9012 mathcomp-algebra-tactics_1.2.3-3build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp38ACgkQ808JdE6f
Xdl8wA/+ItcF/+o1abEazT/4os6TtHw3qU09m8FXBz35uQk0LWK1F+Dy9ijE59RF
5xv2cDDKXpt7j4AYUXNkR/73zpJgx02UIgedzxtS51Nbl3E5OiezBxyyCBULcVKz
MjHaGj1CnObp7+XaRx+dOJI9pMQLi1dPeTHwlv9H73DDwp6VGzR4P2mJpHPZ6/zF
K3hml4zZcTg7vuLDmHZKSCU7i2CZw090D1RFYCFIy/VL7NFbjZMw5479/scFnArH
WlfWGWhwLR7czOFYhcf7fUBJOH7O/BYZPSJJNZw6dqUbQkhys3a59YdqGSnLH6WJ
K7KPh+Meps5Izt8hm2QAJDOzn9fuxpkvaO/ls6aS8K0JAhAs3oBKrHyd4dSN7nuI
2CeFAbR8EK8tdPpBFqtUE6xhxGtPDuEKrrxgO70ssarJhonGjgCSVeRx8UED/FW7
a54DG6XUk6pTHBFnmD0T2pefA4OwxzS+RB3+I1mH41ZinN7T1My2d/HMOoRXX1s8
X7KRk9UXPZQ51B/9/xbVDBYVT27FfE5d3eTczEAX0KqDpttZ1zIKh2KAyLF74rrP
OkODiEwLOyf7xTVKbJQvjfAcpcV5pmT7l0sE2GeoUrDbgfuWULiMHmRxZ5VllDcn
IVAf/yrYIOG3dgbig6zdMZ0ImkYVyOxOcm0abq55xUJpDXSX5/U=
=eIOo
-----END PGP SIGNATURE-----