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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.4-1build11
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.0
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:
 ee8e62d503ac875f9680d5438470b5edb826d2c9 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 96b6d0db2f3e9615a364a6d1c36ea76090797685 9332 mathcomp-algebra-tactics_1.2.4-1build11.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 c6c1fe0aff75c2bb57f65a37bf944356706d830f0f258be690b79c6591764130 9332 mathcomp-algebra-tactics_1.2.4-1build11.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 70b0921ec2ae1656037d923f9cfc7d3a 9332 mathcomp-algebra-tactics_1.2.4-1build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXYk0ACgkQ808JdE6f
XdmTvw/+O2paHp7U+giFN2RmlpOnTZVMcBqxoJKe9kRn36bZiZoWNkjWo26goo4U
sWyS7Hitu7OoJu4AXBDveT8blkdMRXt4Hbdz5cCGPjEZKmesA6p627loRI6RcWv+
ZBKi3qCSSvK9+AvPHxlC1VaiC9WGpfM+RdO4sm3H5DG2d8IH54RbCU22bJz3HgTO
VjyipNB/C8QeE+QzbO1fpXH2DuVlt5Xon1tVdX3mO7WkAFPrHz1JHKNrgx0DGi0Z
mp4cROUa80nqn7YjS2uzirHHuUlaYJSl+MoJvlhS+RX2/6RBQ7qehLQ4Pq5vaV9y
t85l3dvTs/BFKqrM2rEx+jCSJGZK8ZdCoF4fwgk1iV+7+eBWqyNMZlEwMZ+Y0thb
hueOcYcdcBjjzWDNVkCjilia3yeTCOvIWVciAD1PbP421bIhjo7E1bSyaz8Pv81H
GUce6juPf1wQTaDI0jG6E1XP8/e3m3kAdyJF83cm0l9y+0djhT4riFnyZ63Lfhiw
RpieM2g9UdVmtaXCWu3X4KKn6Eo5u0LRri2UydRYdgtTAPjdJnOLxskgKEssPydP
FHlFg7OWcVocRpPqvtyvaN8pwz3ZDQ0y7oVn9MVH8h63cTBFwj8gDMRnZ/qAaM60
oq+733CxpbJpiRYQl0pnbqqwVCSunvtUg92dCcA8ZzmC/asDgKg=
=vtXO
-----END PGP SIGNATURE-----