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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.15-3
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-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 f26638d74c463f2915bbc999f7cc046fbe801bd0 250658 coq-mtac2_1.4+8.15.orig.tar.gz
 203f1fb278e4218185b4db0501f24c9a1a6c46c4 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz
Checksums-Sha256:
 98c7ae3500741b0db04e87c2bc71196cf3bcdb4b93bbefc2a9cd12be594af904 250658 coq-mtac2_1.4+8.15.orig.tar.gz
 5c4121c769d0093b0e2a902b63e945a56277a73fbd390f312041c7e08ba93c09 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz
Files:
 e531fea2c55773569ef9992180c33277 250658 coq-mtac2_1.4+8.15.orig.tar.gz
 399f3462c2213de8f9c9dc8142c8412d 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLvXmQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSgcP/0sCGNLbo49R2FwHUC/vo518NvOFhoJn
WJKHwFofTFboYm0drKeFD+GZuulU2fHs0o0/ANwNRP8DU7GNrcw4Ng9g1zCUXnym
YVhFf5FOkNrJH9WDtXsmTg2Ip3CUYesrn4i1gnpGB+n/bmmlf7mMaWSJhQXkQtD5
vsgXfTrSDWUsv21XEAbZ0YH+oX+yqcLAgFU+KcQ4CMgUA31bYMgsTQz5B/jMQ4CQ
H8iZEG/92pgrfI/0NwyLDN6eW0M0yqVLc+BQA8XzifYjYdqXtP62ZVcae7D2lFpr
s+U9XioVbN7GEQt02QaoWVbW+de1KTTYUdnm4zQj1DVGZL63BixIfmCksvafoalY
89PIIZZ6zJOC5Wk3KIacmP6WsDMzWw9x0g367lzvIO+WM52rAAUDjhUn5DaIARk+
gwYDmDqaIssqW7CaZ9NGfVADf21oCIPlboVlpsRpJ2blVEe2tEiz+Jv56LMWBTMD
+ppDxvUy0Es1mdl6WEBp+nSfchzXrjPoYt60nvp8cWjpiyb4KyTXZg9419Jjf/w5
vZadWsSZgxLgd3/uKJdxLrzjRwP273RSENSKnmhJckxgwzYKTnI92TfNo6m9MELr
Apm/s3N/PDskhgPi2NLssuvpv3OUhhHWpODHBmlvMbsa2ymSBXL4LyuVT0kVBNav
vmG1tA/NgjYQ
=B4kA
-----END PGP SIGNATURE-----