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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.3-4build4
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
 846e283cf071462b3c26ad150b36d58a1e1287c7 9152 mathcomp-algebra-tactics_1.2.3-4build4.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 cefcee7a2d6971bbbacb25972c84d1a39d47eb1dd31ea5436bfcb3786ea970e3 9152 mathcomp-algebra-tactics_1.2.3-4build4.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 bffb0e39e51c436208d0f622aeeb1a2a 9152 mathcomp-algebra-tactics_1.2.3-4build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbb+wIACgkQLIPbyOm9
DjcSYA/9FUGSF7ZLTLDPdVQwYVyiEPuoCOh5/6DtAYyw2aDy0LmVuMgfYw6h5DKJ
R6iX4TTlK4myixOwharRA7TIjDOr06aZE5iOJ6mHhyw4y2JGQpkyc2cajde1SUjn
SmVzl4Qs4wUJ/WSp+UzWd7j3kMJ6mvFJLihliYCrU8js23VezI33AgYm2scCNzk1
2O971MZ27ohWbkZb10SfePVRIZYrS9yQAfId1mLq+PTwjuLJcQjKCgbZAHyOgRjh
SSH4E7s2+ZwhucPuwhU0ORBKcMIlpi9rsM2lfc6xgrYXoT03ecRHi9uMvT8Th8Ai
o0+smeW+sW846crJ4tVsERiTK+tBPQQHYTGq7Mblr8EeqgDWwFMezaiY61hr1XuD
1lGMMpullaThN4y9r0HBN9m2cN+HwBPQ1Wx2FwkHX+//bUTXFHvcnay1nYQNcwtP
kNJrnUv0DddlxpM01avZpJQZKE/gN0vk85pT56rAKKCdjKFyeAN2931+oLqRFDof
aIIdE3/7N0qBAMTEFoGX8uRCUm4GKetXJEmwFc4vGJxO/S8d6poPwzQvkczpNYXe
IH3Uk0HJO7M8QmJogEB7tmiXP+8usoDF/CovnGftmyIuKcDPVqvUsgfSj1jXhr5Q
WOlLWTigCF4LugpsXKdlL+kf2jTgfJHbY57mJ41lOK37HD+Q5aQ=
=7bRn
-----END PGP SIGNATURE-----