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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4-rocq9.1-2build1
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
 f461e08663180845a26dfa8e7bc9c3ad93d457b3 4732 coq-mtac2_1.4-rocq9.1-2build1.debian.tar.xz
Checksums-Sha256:
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 0874c24809831a4cf81aa762a5d14048f8b228ee606244dcf625a6a554f5dc77 4732 coq-mtac2_1.4-rocq9.1-2build1.debian.tar.xz
Files:
 8bb2d07061f97a57ffad4c9812bed8e9 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 c4ff3ae164760abaa75aab9533a622fe 4732 coq-mtac2_1.4-rocq9.1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNPkACgkQ808JdE6f
Xdmbdw//SBwDkMtpnVEIPEz4iPjX9H3UV6j+97n9sbBqRLNtY/Ooew183glGwRUj
nQtrWuN1MkrK0q7uCGWcWcsoNFGFFVB8tf5VmlJ33ze5SSSzsIavUYTT5PBwL9Y3
Pvbt0spwycb5FD1jYkwtvpc+1DufyGaCyZVzT6la355LnXwZoVcgQMI2Ti51uOf6
Th6DcvssoIE2IVemA+rvve6iIP7lVXb9iwTMiCWXa26f4WUGeAxXz9IKgIUKzd8R
MWToQXU5ltitqC8tks2llDiP/GHP/uxy6cvLoVX8UO4zpjktIJHtuS4JNaa9fg1s
LlqTFYiVRCB43AlOU9ayWyfDHYhIMG9I2MEGYiT9GWjeYZzq7U2lY7NZbL/5v+MI
YndipGrX/iR/edX/93iCyJ7k01Zn1l1aMXXkn4AksSrDwxAYo5+MADI5G5KFjS3+
rV4W9AXCS5SBmtP/mgohJDXLnLhOQqdqxTN1HpaP784TXWc2vmxsP6rxV3RjER8D
ffA6OiHaxh+/bUt3gH74AlrXQuAFhkVxaN1/wioA+QaePhhrj2FH0ch9h+6ihwG0
6A7++5ETYLsP80bHvou17fciHZEfLrheJ4PcgnjCrmouRKiDIrZD9k4WGdoSlZXY
2pEjAXlsBwfurdHfK+YhFyHavqP/8S/Y3rzFu9vOcyGNO8cw/1E=
=ZwHy
-----END PGP SIGNATURE-----