-----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-7
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
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:
 aa1c3cfce1fef380c1f084d965e9f39e05197579 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 1d4f7d9e765cbb2ef294ed5a6b951ec4049e51d6 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 c05adeea4f9c0b45b7272098814a76186316e24d98ddf02c729cd41559a68576 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 a0e3d0ec52cddfc0cbd6031749658cd7 8656 mathcomp-algebra-tactics_1.0.0-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNY2ogSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhDwP/iTf10jCv2uMJVAtmcCItNXkAo7uYUQx
FirsHpQl4ILGnlg23f9+O83QkK8ewG6o6UX2AT/kzG46b8fey3X0K3mxh/QTzY0J
pwgVmb2nbBKX8RVuJE2d34p+XIYCS/frVNpn0B3Wi5US4sAz/57gwzDdU0M6X5es
ohsOpEsVaZwdELUz+xUdlbXbia78x7u4Lalu+qyLoq9jR4AHqQIFp9Ev1e/+u7Fa
+o/ohSnTG2MK7kta4qIA3H2a9MzJ18YYoJbK+NxQ4xhLMw053P8w6YpCs9P5VN5u
CGZYE92QG/+1eHj7cZzIqYQYESBrwTdN42rhAbE62uM5HksUTRXTqfj8Q8KnvWzM
+TlTJTRTl3ZNAfZrlIZvLObuNov4u5LHCk5nzOjsdjyNwFf+1lmtOKrTndA2wsSQ
xPI6hFV8Rol4FXRtXa794IKlyp3OD2DG88wYkifBdvHVCgE7sSSN9VwO/QyPR/WR
XSfBsPPrmETElJ9FsSXBPii1vLclAc04E4Ynrm/L0OJSe4J3fYmVY+69gYYqFfMm
ZkY0WmEA3uJ2q2o84hPA0LoKaragLnnkzFLnQ4wXHYshTNGOpJ36O0fiuu4f+dQs
nf6+amQykqh+Au2LtWj9DfqWLjMZffUYAFjj28jetPvgF29JHmrVaAwwDdSwSwhV
GWnRKPGuYPUB
=uDWx
-----END PGP SIGNATURE-----