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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4+8.18-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.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
 64805ebe4f92dc856c75f83ef1bd226686bd7bca 2756 coq-mtac2_1.4+8.18-1.debian.tar.xz
Checksums-Sha256:
 3c37480148a24d6d948871913d7f626ab03d944cd6aaadf25cb2f40094f08cfb 252158 coq-mtac2_1.4+8.18.orig.tar.gz
 8d0959077bcd116cf7c961599c9d1e2326338a12f63f83c2b5aed136b450a38d 2756 coq-mtac2_1.4+8.18-1.debian.tar.xz
Files:
 51b768f6f78c09d069eafd1378c7391b 252158 coq-mtac2_1.4+8.18.orig.tar.gz
 62f890fe559061db39ee7a8347231c08 2756 coq-mtac2_1.4+8.18-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEY6wSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRB4QQAJw7x8w+cwnTxdotbt9GevdTO+sCB8SF
qKJrXakR3hqA93ytjnKWtAeYlPxHf3PqP3vydVGoRoj9iXLm/bETiXZq7qYZkFiz
8uNMDyyLeY7oyy4+HHBI1ZJGlhITp76Iae74+x9mwl9LTv2/9c6XwZqj/MlqtU29
eR8hMV2Cc5wwDbODrf70Rq8oEORT4j6AIWyEmC7Z/FyVfsA1Afid+T5585KiVKfB
Iu92bJRqoKpkYOmA4HPg1WcYIitj89g6lufrMtT9fdfo0X5eoWGqbC7RA0ZAkJzR
vaRFiI0hsFgKF1EVjXf3pzqLqc4xD4UedPwstIAOFczv742V5dI+6LiJQQFeSiOJ
0I7M3V2tOMnO2YH+j0uIX06mGaf6PrONyFradddIP6lCPRQ6s2aR6gdH/T3PaqSd
VqVafWujYSUDhi2xH0H/SSDgJiz8tVX1gllmWyvu04IZ9duQ5CPvnFjAbDU8eLCy
MG+mZix3zvr6cMZxmhm9vnDZtHVchX3JSoS0G5uPFZJXmy1mf4j0MPLigjeX7RqS
+jcdwaueZfEr7cZ41g2BkqiHIsRM27Bf4/RMWhNqd47Jn4GGJkO5o9hlGnWvuaLt
jSoREO1F1dU6Ch1ryl8LeMM7Zsg4tFTA3gk8u64oY4e9k85fYwkGrn9YlEajO9dD
LeKUWKxmisgA
=jQ87
-----END PGP SIGNATURE-----