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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.19-2build3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Mtac2/Mtac2
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-mtac2
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-mtac2.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 a7b7758bce394cc9d0ca99a4929f4a4f3316462a 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 a0391613b0a6d185e563645c101d32e40aa512d3 2992 coq-mtac2_1.4+8.19-2build3.debian.tar.xz
Checksums-Sha256:
 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 4b502f50fc7778de51984a768912c6eba55cf5e7a7000ec2169d13e859722dd5 2992 coq-mtac2_1.4+8.19-2build3.debian.tar.xz
Files:
 4d4d247f672a25d9c8b59f9f0ce38d99 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 3e291e30753846ef5a9a78de4c99a062 2992 coq-mtac2_1.4+8.19-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbci1UACgkQLIPbyOm9
DjddrRAAlRwl4PJc6ON6854C0w+p7p0YQ7a0r3DI6yL3AwKabzD1eLQrNpnLZvGp
mVOSKS8+cMatvtAJW3f4+b9n0dtJusTF4QxoIYGYAWh88Dyae+w9fk0Lb4RZ3I1/
FqpZH4rzIf3L7W6MwiwBpjBlX6xg0pmlULuY9DtpNkSA0aqXYnamRSFvX0eEsI46
EmAlI19TiK2rdixaOO60gBvaUXC58cGGtpIMJZmU/WN8eyxSvW10eLHeVl8IAL3y
XDSFrKn1uEsfDaObbpHl/ryOy/ohnzC15pLoZ+aPf54SI7BGtYPNINZGr0F0WFmQ
yJ0LvJVvD/1WU9EiI0vF6c2VL09hhxxfaU+zVnqMfPkd7QTYrS7XJ/squzSN5Mut
JVm6xumZYdttQ8HvN/+3MUUVc6tOPcaHsMBjS7FGlK0/8JOwbSB52slDzOO1iExx
bcSIqqIfRrk7yj90nP9O4dlAk7yMlpPm+QwWgVlcIcKJq6LbsWChngxBXGZwSMCa
A96lUybIXdsylDtxYW48rNnE8KWHxztaq8iNFl2KMQ6XcgOZI5W34Bb+Fi4f822C
QTldU8+29V/1tAh8gF7QGxtlT0EM8pV9KkStKX/xl3+19lS/PLSng8n/IeHm5lgh
p4+xM0HAAHDVAtui3HaRLzqY+ZN0QTY9oNIBdux+TcLJQOpJx+c=
=F4a4
-----END PGP SIGNATURE-----