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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.7-4
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.4
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 (>= 9), 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:
 4c1b084768e1385768fd2d50d9447dfedb0121f6 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 9083877e0154324c229d261511422a7dadce3f37 9744 mathcomp-algebra-tactics_1.2.7-4.debian.tar.xz
Checksums-Sha256:
 8bef29a0e3decbaca24bf85def8f2ea073171f6400a77396b2f2b14085947f6e 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 aed8ca9b68794fba0549b96ff552f0ba11680662b7e74ec3ca99ce7c60acbf01 9744 mathcomp-algebra-tactics_1.2.7-4.debian.tar.xz
Files:
 0e3dd126712c25e057a115c10b071a68 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 d2c915d5687b413164f0fe355234dc81 9744 mathcomp-algebra-tactics_1.2.7-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3dEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSxmD/9+PY4vkMACa3Q+/tvcnD9O
QZiNmbu4n0X09utDr79cjd2JqFkuqIbXteoqQY6bFRuKjSPbH9dU3NP2GCGj6YRb
3fcd9jA5ykN0pkYojkfumr5XevggoR9LF+klu6DlSwkYBoGFLmb67riXputM5s1p
cOlFz1J0K3E/pDVNMNhWb9yAB6dA1UlBK6xmeYDy/8j+k8DPIRNocC7oDvrhdLBf
J/VhW+jK963iWySd5RVW1ShAzSzLHP15K/eXxVJ7Htz/xJ1a6dGRVm9mq3nTykBZ
/SofNNllBQuraLDVfmeGOzF57Px0neUuZVDtXRPi+2S9w/aequ5r3uGIu9KdhUzq
ZBfuhAi3mv2kn2oYMRanhc+i2HICahNNE83tki+CTJUaS+mRbXSZsaMjhJV6Uvv/
NXHzu8TWwWsoOrOZ2QpjP37Ny0Tc1vwCvdjisjQRk4h+MV8lYNy1o4jXYGRPm7j0
2Sjz1adgNcFPZ6F+sSbK5QfgWRIf2pEvP2GdJvMKgUxD6yIhj/6uT0MMhj5SdFzv
VfDTNGZAypt4MmFEa1iG4yv8ihz1aDkOQHwD+RjhMeouH2A/MpoOoQlXSLjnSrdK
YwbQNlMIzRC4yrfRyVMqsTrc8oZvu7s/h6ByAGpPBWtTCxGwxS1iTPMhqaysWFx3
y9Y0Af6dwGk3JeuferZ+SQ==
=/fbH
-----END PGP SIGNATURE-----