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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4-rocq9.1-2build3
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
 0c781b31fe6426e9abadacc397d0a1e95106d7ee 4796 coq-mtac2_1.4-rocq9.1-2build3.debian.tar.xz
Checksums-Sha256:
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 6ead86c44e3bae16b273e2ab673d1e0c30f2db794e585badc2155a793fcee655 4796 coq-mtac2_1.4-rocq9.1-2build3.debian.tar.xz
Files:
 8bb2d07061f97a57ffad4c9812bed8e9 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 0fed193050c8c7320c0f3a794bc1c4ca 4796 coq-mtac2_1.4-rocq9.1-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtYXMACgkQLIPbyOm9
DjcOIg/8CqQBk6rBPeejwhYKgjY1rjonkXzRpKUTPdP9r9z79o2+0If92g94vu/N
b5uwJTdTQKE1zVBkbkoiuhdpbOTs9rZc1kIxm4kLpc0eewgwEcRP2nA4dDsP4Nxy
0LX9dIBvYXI1xvblmMMRI3c3LLwO0Z8YDdzbhdFm/U1NOvWhWCoEM1VON47+9c/q
Xw/cTN6D+JWiJoYbbfTYFwJWNqJapOmu1YRbRbd8bjqXLi5/p3X5fBm+qKnWmpj3
fht6tx3URh/cJp7JcIkQMNgi3+M4Pl8JyXTZXKvd7FiIhgmPT7EtlapCoDBGdrpD
/Eb0ZFCTSjSJ1smWUT1quAEYzUKT7zXYP6TWjB3HSIWH17XEcxiIXv4Y4/jwKwbF
jAvboLyu0BATpw8Cv312JELybv7fAo2Letlt7RDNh2DWf2jG0fVzDkNXK8opVNs8
pxy916T6ErBL/ePCgLmeU/5R2JX9EFvzhhAqvRDidg9EaubosJbYd8rEk/wO3sVQ
LeMZqq5TreqP5cuO1Dg1S7q+SC9kwUjIT+t0V0VNcq52WfF8afbuXgrxlh5E3f/b
2YQPLfB4OgPa4cmB6o0MRjLOW5aVoAvjP0UCZaXAzVDO5yb6YHYW3v91ZXspYjZ3
FpJihqefkK2K3p0Ew6OlHeri1Hew94xXihsy6zuZPIc36E00VS4=
=iF+a
-----END PGP SIGNATURE-----