-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.16-1build2
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:
 e7fd6a872a5cca4940d440bef620b83691217a7e 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 9560188f0a2c806d27d645d04f56e31e4a91cf57 2528 coq-mtac2_1.4+8.16-1build2.debian.tar.xz
Checksums-Sha256:
 9595e3919b0164dbbfc6d349d9cf001875cb8afddcc10e9dce9f8e49c26672c0 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 9ed8acce13c4f38a53bfc90c09a1b9d04ac9b4aaa72455fd247b86e58f660fc2 2528 coq-mtac2_1.4+8.16-1build2.debian.tar.xz
Files:
 b7e5c7d4a7f3a59713c86b8a4c131d76 251070 coq-mtac2_1.4+8.16.orig.tar.gz
 8e80ae17694acf23cd7700162c3ddfc0 2528 coq-mtac2_1.4+8.16-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOX0ACgkQ808JdE6f
XdlubhAAl1VG4DJTrI09lmoZuXPgrR2gYrmMhW06OGLpa9C1U3QaxZFqZXRnYtKx
cVpbgLu/gpYgryl4IkKuRs1LgxYlFu4QYbUOkyH/+N63u1bHoN+o3wa60XQh+hbP
0dn6sWwUpKTqoEFM89ZrXchj7/rklc/a2vCB6oLngLQHukD+3E72tQO64luQDgqo
Ud33je9ZNKIwYJBQm8tcs4rEd0cT4K8Ch2a3SUQMSSgwe0RhiMvCDq33oMVXsObe
t7fT6E8ruuAUnYGSNLmGmNQm5JymL12d1KAYvQUoLqbZ0YpP5G+9L0veGlG+vFYr
O4EOjX1siXuCeHl9zUru1y+4qvl/dkn6ngwhoIwo+G4kaTNaXqwkgsbfvZv+pX0f
Brex+nSrZGap+q3uTaqhPTsg/ZH42ZRJHyQwAoox2p6gWKkThwx0VDa4GSW/OZla
Jg4xexLY0rkdqHUj3EoTp4EhWnyhXKZcOP2I9HXcp3AS3Jlhmf2Q+gsaKEp4VSSJ
hhAkxEMdfrQtlDg9fpl3OjpRvNchiPQ+jHGQbLvmRfcZaF4F41dppyxwXtPxPEQP
9b6v1Mc/USBZyP6hFtHeSavfa6EziHvaWha6jh//MCvvYLPEaskWYWG4G8Hza/Kx
//vmhbkitU2C1FXrp+slveUEuimScRvsPwAbjHaFXowCVIvk+eY=
=wTz6
-----END PGP SIGNATURE-----