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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4-rocq9.1-2build2
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.4
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 (>= 9), 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:
 f867120e6ca473d68f098aa50729d2ad97eaaf18 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 d910601f00746f79a46f0bcfb90ac5d273ddb991 4744 coq-mtac2_1.4-rocq9.1-2build2.debian.tar.xz
Checksums-Sha256:
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 a209a17bf5aada555bffe1470c0286f2a3f4d9c93b11341812fb27d5af88b058 4744 coq-mtac2_1.4-rocq9.1-2build2.debian.tar.xz
Files:
 8bb2d07061f97a57ffad4c9812bed8e9 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 8c4714eaf1880c068829fc08e43ba8fb 4744 coq-mtac2_1.4-rocq9.1-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiU+UACgkQ808JdE6f
XdlxRRAAnxHniae7YG1+II60uvQOFgzQBHeoKPVzQWKZwKgiUTCMNZAijyD7rKAF
vhmUBOVhSvk6Ppc/q9A9pX4PmP24pKCgKkq89MwQpDV35kbd+bIjpgcF6YFeRLoR
/4UhRdJettR6yx9k2dpmfq79vGVyeDm/zRr9Ly3c+GliStCbZpeLzahoEl4i6lE9
xmzxmGoYano8/FCnpsvMGs4YKuXhih85RmvVKCVyKSl27yYOkRY99yGoKHJ+o6/1
b1K4Zyg7ULibp6Jf7JYRShIe4I5hv0OZo2EjmnkA7Duzd35SqhaEpZqHoNiyF0vV
6mxBtz2BYGI1FGp6xdn2qoZ+db2qQEGBP5YJ5/llKRr/M9S3g9AsVmkco299L1XP
epdwBgtIp8I0p667G8NATTfHq3e2mYOEv0/IH6WeHLKBwjW5+lz0eg4PKWOfEvWg
DqaEThXlZCIimkoQlhP6zr+ffXRTUAkg6Hf0tKWH7eqVjtEBoO0I1lAfvJTFdnIo
G2QYvxy+XD/gmvgRvbrW8eNgiXcs2BJAq+q5bc95HgCoUeavstHx0p2nDMQjQ9wx
nLS5vklO2PnFMjwPnsAsV/SexX8xlYkUgqCkjf7tlsrONkWIT6XbialZUhUYn+pA
HZnNGggxjfSEmP7DG2+SM3H9K+a3xUlZfoxRw/fd20hYNTz7Bvs=
=Oedh
-----END PGP SIGNATURE-----