-----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-4build8
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
 66ccf1601c1756c01287b661005b8c464cc74186 9244 mathcomp-algebra-tactics_1.2.3-4build8.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 7eade538f77fcbdd4d76bbe17a942c178156f4682d6069e4d3b33424452701b0 9244 mathcomp-algebra-tactics_1.2.3-4build8.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 cc5a1da186959f66e72e4a7666cc9755 9244 mathcomp-algebra-tactics_1.2.3-4build8.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmc/UZsACgkQ5mx3Wuv+
bH3KGxAA09GFLp5GIAf8H94jdquV7ZOxsIVmjDJz0oF0TcmKbFC+w7v+nh+l1yZF
8uAPtd7PTri9MhOo2hHttQcLSqu7uPy4OH3y7MAdiab2mAw7zIg3QFggoHGFxVlu
vzX71yj96JTwxBcp1xH4ts6S+J6MaB3FucbhZ6jIf2F8CjtI7JzekXz3J2cwplNE
qq3JuyZSlVg0tbzVv9Cd3/BGJJkOIBZxT7EXXRQji0ZnEuMYWPOo7j0BXc08nqDn
kj/nNEy8iv35Gh2PEkPLGWrZCnyW0LofFCTEjDT8q7CilY+78PBC79Z8myzh3i4I
MRJ4pd09/0v464E8YoKuX2kIoKyLfRLSwl18P7W4GhcThCKFo/ure3cgGrkEHvmt
QF5AL+sncNhODaGUw7MZ1CBZNisZaqvr1/gMaVf/WNWBHbKi26EbR4OgbQftE0XI
PV3idHpfWCGLXjNv7fCSiKRXIDG6OTsb4G9GtYdVP8U1b8ZJdwr/BIfBlVmUZyMI
sjMMTD7MmxIENhPYn5QqcGo1WKCyemYeYByKfhHsyLbKs9gKUK9N7EjcXSt8j3Bq
7sMxbk49oZv35sczSFbK/+9YGRcLXM3HXDEoBy9RfTCRrnaN6WcPJboOqimNQv6L
NbhtjPHS65JiKZsBV1+pzBbMmySJ6SF+SnP3BOohdUZ5e0/m4dg=
=VLuo
-----END PGP SIGNATURE-----