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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4-rocq9.1-1
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
 4869209e8e6831b1066868c501b64c70ebcea793 4480 coq-mtac2_1.4-rocq9.1-1.debian.tar.xz
Checksums-Sha256:
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 8db8281801eeaf5468fe68f196f404755e2a8f7f385563eb87737266512b306a 4480 coq-mtac2_1.4-rocq9.1-1.debian.tar.xz
Files:
 8bb2d07061f97a57ffad4c9812bed8e9 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 ca19c9d4f76c35593bb51ec1e4546504 4480 coq-mtac2_1.4-rocq9.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpR51QZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbMFD/40HZC2csRyHX99s9JGluei
Fm91trJXiST20awVb3nW4GEOZVrYkX0z6DDWWZ/EsAQS9CAiyTuYQY9G+8sTaNXr
/j/ARiSJ+qhscx5cURQWJMaOBWVnr2bjYXx4CwpbUatvff7uVGBlhe8OQ4fRkpT4
e1+XiLriBDYYwRvgQDOadiOW/O4/SdgKO/npPGSA2jSmjcF9KlesTmz9P2jdb5K2
1XMom1rroMiQ1RB/T4AjTHsWVYGGDUjcNTDYcVSUi6WlbyIQtM2EFcERn3kWeRUl
0DqiPHcQn4qwcdjX87azp7VGHDOnXHc+kZw+B0mz7rDTANi0JnZZPB1DjUcT3jUo
x+Jphb3gmGkP3nFhEVpq4CyvTZu7omw5ghn5GzMNMZufZPQryc5JBUjOh2tkvbJw
KTSyuRM1gOPFGeIxtK4ti2D3mad6kYRGl6bBxc+WZV0wuhNFjgtLUY5WhQ/SVjFa
McpetLGC9ktt3QGx8SubOsD9Hm4epjvpoD1XMzpHJmoAE8JNXsawz6V3DyP4aeZW
AXaSOEAOopX5uZYEslfaau7qbKBAlnr6JOkC1Gx7q2HDvyBcJhscypBa3FlCc8ff
t5zizkPurjvSOFlEPr9IPpQAEcFLO/BR/4JoZh6/YO40P2yJpSKyzklVK7fFE36w
qcfEGlbyGFIivGCqWdldLA==
=wKej
-----END PGP SIGNATURE-----