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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.16-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-core-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 e7fd6a872a5cca4940d440bef620b83691217a7e 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 5ff51e3f8863edf39e9e370a849a1eb5e5839a5e 2480 coq-mtac2_1.4+8.16-2.debian.tar.xz
Checksums-Sha256:
 9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 2d80fee8793d04660d0fdcaef8336a6857d819392a8507cfd8665dc6eb850287 2480 coq-mtac2_1.4+8.16-2.debian.tar.xz
Files:
 b7e5c7d4a7f3a59713c86b8a4c131d76 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 64e2a759658ebd074f57c70290a58426 2480 coq-mtac2_1.4+8.16-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRG+ESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQMoP/2fO12MKekNxgRVSfLhpbHSKWsErW7Y7
J6jZk3TMAzVRULuf79hCh3R0sITCvGaCJvw0BQysruh0SVcIV8V33SQPvefaHi1y
7WmgRBAHR9YPpn5jfAM/tBLsO+bfDW5f5yX3/y57sdvM1GJBEbpOLN7CxmJA4adK
e+mteO/H6RXw/ngZBtHtRYeAKMEfP1EG5JSergS7duuy9H+/jbh0mb3p2MMlrUhi
9k0juU9v06Ybb0lHZ9YV81cH/ERSpgueNfVg1sS49LTIQX9mWNWcFJYC0k3MJV7/
edM6TjDhfs4rt0tDPHsA5w2H0hxarLUNH5D8N6LvZwNROtUN4Sddmum9PZhOMmyA
yy1rcK23ggMUzf4YUkBqYpmnauuBKorkFt1oD6d5jXAIL/xG4NdpYMN6428E3NvY
uBZuY4y5V7ee9qVqE0VCm/PB3s7VMHJFr+8weHxpMejTkXH6uPtBnikJ3dldN1aT
sg1mzMjqqg5NtMzSSwioQ7EcDVEYlu8XvZJoz8ghXqZuiJbAHgnR0MgbkNU+Cofv
FqD2Ppq2Zv9szDTalBafqm8yqPoe0CxeS0yphbIDt34I+YkfuJmoX6ZdNX/3+MeD
vu7AyOct6m7DnEl40Y39krX4YIitBGhass+yV9laQ+Isdd5OK1bbGZLnO3RLMVBR
SBO8/es+gmcc
=hpgK
-----END PGP SIGNATURE-----