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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+9.0-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.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, 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
 518d4621ccb6695b04d614c9f21a6ef7bdbaad21 4464 coq-mtac2_1.4+9.0-1.debian.tar.xz
Checksums-Sha256:
 805552c4e3b847c90d61928f5baeeb34ca88e3bccd17a2489410f6f28ae8613d 252586 coq-mtac2_1.4+9.0.orig.tar.gz
 91af23fde0018f0a5ca0f8310fd2c64248a6d420bdfc91c0917c6d5370642677 4464 coq-mtac2_1.4+9.0-1.debian.tar.xz
Files:
 fc58ed767936c21ff97238253eeb33b9 252586 coq-mtac2_1.4+9.0.orig.tar.gz
 9f1a9b7ff3523fb90979c4d6f19c9ab2 4464 coq-mtac2_1.4+9.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB27EZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWExD/9g3/q+l62tevoj1uhtfj2l
KZoGmT0ZqiNCPVWvAB1N0oDGgpAv6u53g19pTRnmdjMLgTD35b+M9EBOc7YUWKqE
+A0TukXTU2MEkXDdM6GlWs3XQfA5Dx0MBb5tTSCLFEciSaWtr3Q0LqGoDHZM7tQS
9khv+pZrfLTcBaN+GxlTKvzXkYvauRDDn2Wy+ZiQeDl8oyO8JB0X9WULrJ8puULX
LV9ZjDoj62hy83UX7hih5BB9d0Jl1CxltUt2Qi+1DC2SRDzh7QaM7K5JWSnjylxa
NsGfK96vAqrJMNCx0cLX6NpktoZPffNZBsOjgnj//BkY1hseY7JeVyNVj143shKa
3mbDG/NbNG8BqWexQ91sc5k68ZRWXbspbbaHXM+uxajBOyFW5Ym/ZqoHyzz26CW3
Nova9wCvZukbVWsqSjd6utV88v//yr9SObWt/kHPrOGNteWW9H6HecGEFVV24nN1
jyYl/BtMluTlsh7FGD1cKz0wZbsaThR9F0SVA12wo5TFJgoVC7DzrsQd7lnRbmxF
SjnEyVKOglXhFOHWjT5Rq/Q0EoAyMnQn7RuoMFnXprJTZMZCozDRTyXdEJneETbC
w6deyyOULB5ZzA6FlKMGpdkMg/8vLzApY8KCkqSJCEl+f988ZhG+ysrse7b36uup
ERn3bBHUYTmUYAWPmQTjtQ==
=wmA6
-----END PGP SIGNATURE-----