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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.15-2
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.6.1
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-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 f26638d74c463f2915bbc999f7cc046fbe801bd0 250658 coq-mtac2_1.4+8.15.orig.tar.gz
 b3e5ad8fc4634e9863e1190d45618bb9e601dd14 2368 coq-mtac2_1.4+8.15-2.debian.tar.xz
Checksums-Sha256:
 98c7ae3500741b0db04e87c2bc71196cf3bcdb4b93bbefc2a9cd12be594af904 250658 coq-mtac2_1.4+8.15.orig.tar.gz
 55aa8826fcfecc2e0dc4a6f61be6c2114539205776d77aae00cdde9cc7791555 2368 coq-mtac2_1.4+8.15-2.debian.tar.xz
Files:
 e531fea2c55773569ef9992180c33277 250658 coq-mtac2_1.4+8.15.orig.tar.gz
 f5bcfe16108c8e070d5c00a6b17313fc 2368 coq-mtac2_1.4+8.15-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWXkQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcCcD/0XQFZLRnMCZ1Dtw9fjuS8V
2Q5KCih00JUEjN6awtTALxmBmRb7xbRzKDy29xB+48xiJxRaDot4J8rKWsTZ/NlF
r1ernqgFEucBdQLyHvRhbZa3Ya/WATTmeKy/ClmG0D6H/KlP+Z5pthy4bvnHwCBw
q0s0HTnk/LJtjcNj8DPYl73vT0yCgXDIxidMAACAT0S5lM8voajr9GIggPXaHWO2
e9980QMZJW6/NxDzcn7h2RaIz/7KTtLHz1dGeNaMgxcEDeMo8tVZoaVcmY7grUE/
BijNCYxSMB+DkunPLpuAqt8DBOAsmhm7y6k/BX7HKkPFxaO26nu9/GyjvXw8f/e2
lq/iEwHq/JNKP+pIdOP9f6LWcbgi4HPPqmjAnKMISfvQhRS/htrQUQaPGB58CUOe
5Y0Z+c/UtJu5pj/4D29QkuFIfd7s+exfSGz4YE8VcRIfbbOqu6cFxVb6Y7hoMo+T
W8VZSieTfp39OhzGNaE+XuVdaIrOeAmUNRUgVzcA2nKzprJJBQWuDMc8iUfbeOzp
GKSROKia8L8vXQO9RbirWaiLc8clE/tyofcb7rA8T9LqHZQjkuagQ+PeaMvMW6rT
FK4jZCCOX260KOEnROHZJ4POsS8MdhNN9tFG0eTPvNZF9brNnrBNsIG94Ad/QdNU
av3VFlvyypRoZ1DiKjjYEw==
=29ki
-----END PGP SIGNATURE-----