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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.18-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/Mtac2/Mtac2
Standards-Version: 4.6.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:
 10bac22248f19fa3872559037caa1cad76c9e5d6 252158 coq-mtac2_1.4+8.18.orig.tar.gz
 50baf36ab02df185dabadf917f7ab4317facb033 2952 coq-mtac2_1.4+8.18-1build3.debian.tar.xz
Checksums-Sha256:
 3c37480148a24d6d948871913d7f626ab03d944cd6aaadf25cb2f40094f08cfb 252158 coq-mtac2_1.4+8.18.orig.tar.gz
 a17f7597fe2e7eb14a99e6e9b8f556faf68b9f94b3a1b221585a5e2161450067 2952 coq-mtac2_1.4+8.18-1build3.debian.tar.xz
Files:
 51b768f6f78c09d069eafd1378c7391b 252158 coq-mtac2_1.4+8.18.orig.tar.gz
 9cbb5eaf73504a5efd7e9a7f9429e250 2952 coq-mtac2_1.4+8.18-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmi4ACgkQ808JdE6f
XdlRLQ//YlAp9Tj57wvnrjfxpZI5SoZajm+Ym3r9APJ/Esf52fLaYxrtTGGM3BMA
UhuMRzuMOw5bfj2y5+9O1LPnoZ6Pw4f0LX+1ZOc/L1m4ytU2JjyY6tpcgwRPqa1J
PI1bxnnk9JtTfkqxlEtlUi0PiSn6Do4Wem0VqQzlZ25p3g7hR4CpepL+B7zVHp9v
er9xY0jr63mjQjZtIvGqJCtOdSqp4/G2WPYuuNsRVLVGeBKHuihR1zym+VSt5n/g
BYRhWc7NhFDGBipa7oQCSHiH+NB+cP0lwMARF7HdbvSyhkd44FQBWBFW/tOQPq+y
e97SnolIAN6g+8dZ7DDfXZqmeol/oifIMPQZX06N9BMKVzUre6yQZEwx4K8+fWo+
Lh3uLwj0I516ddQ9uBBJZGLwZ5+kQmoFi3Co1ZW7dThQUywEnc8/cdPXZq51XotK
d2VSBZYGvTOFwUMtwXBg3J8oEH0rcNV9Mg3sggg7BRFL+tm7hGJcQeVQQM/ritWq
ttKxYYJGkedRIE0RSyxdmtZQ5kqch4eugrCLgpvVnDmIbXI1+5PwKFcxxIwPqcTD
aOpGDmyuzMosKC3NaGnsQQw1O1OhpOMvuz2xS7neHbY5BFEqJ4Jxro+YcdABAjYU
TWlY56hyg68E+bhk4LQZeeOtdVJvLOfUQt6sRmQBdm5CYLy2UiU=
=KxWU
-----END PGP SIGNATURE-----