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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.19-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.0
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-core-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
Package-List:
 libcoq-mtac2 deb ocaml optional arch=any
Checksums-Sha1:
 a7b7758bce394cc9d0ca99a4929f4a4f3316462a 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 7af8d21476b4eaced646e3a1c98b219ae6c37e50 2788 coq-mtac2_1.4+8.19-1.debian.tar.xz
Checksums-Sha256:
 7906a4302bbed3325d766f1b1275303afbc660b8dcc61870924fcf56b04e0d3f 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 7378a3d32e74cdf4c71c06c5d5d9cf8a3c379d65bd8eae01a72f6f5d3867af20 2788 coq-mtac2_1.4+8.19-1.debian.tar.xz
Files:
 4d4d247f672a25d9c8b59f9f0ce38d99 252242 coq-mtac2_1.4+8.19.orig.tar.gz
 3867b25da447333f926b77952b7c0283 2788 coq-mtac2_1.4+8.19-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrrGsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+sIP/1sO9V5l+nYnPnxTHZ60eMUaUQW4JrBS
KgZIMjqu8xkLHJLfhC5MrWPn+eCP4NryDJB0t6Apyv8CTlrVWMh9Ugfi7xTXE1rG
yNgtINXW8i4x4Djm4qwLBrr6g8Y6cg5ugNS/S6pYvlaWujRsTe4olN62t0HWMIiB
yuIX+y1MwiZ9CUkUpXrBeT4xRvOAZzhbDDmzOgQTmEMo+nQ/zftceFHSfSpaalsa
Ydb+d94Sw+kS1FF5/ldL61uYPcgzTOk7KvBx1HCgb45kom7w2sY8iUysVvuyGJSR
UTM/i1Si5YEZtXIIs+ow6oLjKHHPoUqfVXfjshWiPCcmhotzc5tV6el5LcBaqIEW
jSIXN8skMec1+Ao1AdoiHqbNqTjpxe8SoKO4R5tLKV+cMSTDeu2Shzx0pHv9t26L
U+LiY9gYttH+w7kcmZTm62RwuVFNPrSqO0hC7iK++ZyKWP2TQcVWHO4HFPTlMQAA
HdlkbVyvU8IZkcl+8BGxt1w+XsBjogl0YjPpZWlHpciciieCzlWZbp3Iej7m4g+0
AxfLnXtQt+bJ+cFoQNJl/1ktOdi8C/2h7xLye9sKAY5T+r6I1oOeXvP/vd5JFPv/
FyEtAkZUEqYjhlkZR/CUYk91f3MUgDDlpXDAWHWa1xbbxV3AJ1nRnk2G0iGQ4EaQ
lp5PO19oYPuS
=k+AU
-----END PGP SIGNATURE-----