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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.0.0-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.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-mathcomp-zify
Package-List:
 libcoq-mathcomp-algebra-tactics deb ocaml optional arch=any
Checksums-Sha1:
 aa1c3cfce1fef380c1f084d965e9f39e05197579 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 50cb43d3b00a6870f593868bb4d0ab9ba30b2ca1 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 76b5fb621edf957f854eb1e17735de49221c7a5b09db8380f25c951b195ce727 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 6169d5aaadb52c1f856b5ede95c977c6 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKm+mMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLa4P/R4GpsbaoanRYa9OG33j8UECQB2DfR9N
8OMRvwXTs/usVxTzLbHIacRTnQ32sHneYzGq0AtLMG0bSjvYJCH09EQ0OI6BxYnS
KXmBaJ28Pvix4et+dU4ADrYNzHjlBR87SVAIIJ5WaIGYxZqvDfuQrNDm+OCRhNld
9bYvHmiHDm6FwuLtG5ngrZTnfw41k8Qc46eHo7NmNH1Ki8MK/NS8as0JnKDvDYga
Wkg/72y1IUlMC5TKVRItFe8BMTuktNNnGa2/CJj6PS0zGjNw1ktqXUVMgBRmgKXe
nQkGyI7Y2vRbrJ+aF23l/7W2DYJPjRb889SVndzQG3YWvGO/E6LgpTlYhgqggYSe
c0eDknJra0j3oXgVK6Lvfc+sj/xxE0q6rACYZJv6rEYvq8mnfz44oKLCcDegBpt9
sCgduL9rK0T41EjlmTLXDAAV9SxExAUWxwM7rspXWZR7ZMNKYml+Sf0BR2OtNgQC
yTL5/MvXxkkSRtOVCISpilOxl3UY6O9KjD6RoUKGeJUkhcARLSi1cxX+MqpNhW0C
ZOz/xiGBJkB5kNgL2kDkmgo7X/4Anmx1J8XTDHF22DSXMRzPsn8E0ulrsw6P6jkD
Ixuq32QmU7ZT4+rMOcytcH+qBLVyme8VEXjR4dvNGOc0ahGM0a2vWOe8euqW6ZQF
f2J1UHFWqZAg
=Mv3d
-----END PGP SIGNATURE-----