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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+9.0-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.7.2
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:
 5c03eb5894f53f45797ea1bfcbd781dd0dc2ca70 252586 coq-mtac2_1.4+9.0.orig.tar.gz
 ef2bef393e1787cc2c92acbd92b64c4247c31ff0 4508 coq-mtac2_1.4+9.0-2.debian.tar.xz
Checksums-Sha256:
 805552c4e3b847c90d61928f5baeeb34ca88e3bccd17a2489410f6f28ae8613d 252586 coq-mtac2_1.4+9.0.orig.tar.gz
 3d481820dca6b3e12b377b6ba6b4c6e5766dd82789c9c9de1ac8f514705c7a9f 4508 coq-mtac2_1.4+9.0-2.debian.tar.xz
Files:
 fc58ed767936c21ff97238253eeb33b9 252586 coq-mtac2_1.4+9.0.orig.tar.gz
 7c32bde5fd8587bd7f11f4659d4df9eb 4508 coq-mtac2_1.4+9.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgiEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYcnD/wJK9LFLwKHMAOyfte61dG4
F7ttBv5lgZXA9/KGi5RHifORvuHFwMO08p3+mAb1n+qBtWcUz6U+qBGVdrBhc7K+
/b1xXt75zqfelyFopWRvUd4eiDwJn65hcIxJTeL6CiHiU2aYRXuxBlM4Rp8ukc2g
tfF/ag1JQ6k2iD2KniosxZnTpVwDs1qQQs3fB8519VaJBDCs4LuOMYQkm099W2fz
dEAWHN4pgGZur1qpHA7+3o3qsbJhmvuHWg6SmUacZtL0RInh5GMuF/1oiefKiefU
umZ0tKgrO05bCQ5/18ju4gEDmbN9TyoKGax3VWJswlPEs6FQcNQiYSuvJ6x8wCzN
rz6DC+WkqdpgXeNUV8a9fhzgBdwLP9CwCZYIt+HMuS+aELVIcjnhHB304GzDkq+0
aoGshVOyRHIj2ozn/VefGUA5VG8899UeQdbC7ysGASf5EHshjaQmsEL1arPwTQMq
9Y1dLVo8SZySsVdfsgjM+mtn9bUybT53G0vUrSS27XJWB8so/7I8bQ029mPJQV9v
poeLleSpMtqJ99LJSxXY9n7zn0z3Rx+3Mf4OqaIJYTm2HahkIeLoysmosnqvMt8G
i8veKWCv+7rvGnPFvXWUhr5GVqkkxwRXFFo2l+OoMQOJrFFOxB9vlveJTQCdONb/
UCyfWgF5/Hk/eOJuV6LK6w==
=gDhO
-----END PGP SIGNATURE-----