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

Format: 3.0 (quilt)
Source: coq-mtac2
Binary: libcoq-mtac2
Architecture: any
Version: 1.4-rocq9.1-2
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
 f91240e91e45a77fdf25db95a64cb9e45bf8f4a4 4652 coq-mtac2_1.4-rocq9.1-2.debian.tar.xz
Checksums-Sha256:
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 d74163a41a3098f57d031bca4e53cb00be5a8fc5fec7ac72fc21a890c188f682 4652 coq-mtac2_1.4-rocq9.1-2.debian.tar.xz
Files:
 8bb2d07061f97a57ffad4c9812bed8e9 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 b27b493d3b1cae6814c6d6c8359cb72c 4652 coq-mtac2_1.4-rocq9.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1ZcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfETD/0XgnMVvjN9J7P5BIRGxRuQ
CfV9X12HkckJLjhQiwjQJSheeRh1PbBqB5R01dNcc0Gsv5xZZXQhF0dSdMWxU5CN
KF5zHBoLG7gxWKqi5hfmmrR5ct00CfuyeGNQ09niL3Z+UYxxEb6j6KYPGl40IxcV
UAKW5M3iB29vqyW/UgqUgiXRSvnK3X/wvYMWPNgFX7tnTtt14jzS30rfKKG9fcZE
RYYDEnz1E8/b075aqRKnxYCLjPG6aTsA/tib1LeBuzmqkmTzYhkmm55nnrKdZTZQ
u4EhYDPWb7IEOXHSNKSvN2F0OuKfevNOqqF7zX+oUyudpDaIYLEP8jTjs7y3KOko
BliiQ6m7Ei2cglI8QNzWeoiGxFWMEMbriQXna4EISZvHwl2eh8jhAMI1H2/cYRPq
tqYzXgn5/iUag5BeT7xJtF1Yn2QQjfbFAFmPKW35O9sp5+zgVsuxYR4CmgA0CUir
jh5kAzp7Dp+ZsU/t0qaqDE52qpSwrrTuPo4o/39juE+uS0g1wQ63jfqGlrfoy9Mt
M3He7YmQudK0baP0mRMBTZjsHjob8SSp5+t+PPm1FSjSswFAcIjCgQzpOycJ7b4A
tEOVwbj/xgYNdOyhjqsfLJncrQPGDzun8xUCvkBvfYLdmTXxdFqKV5lYwkPodoEr
OjlA9Z2JH9EeMx9uzbyWdw==
=BRIp
-----END PGP SIGNATURE-----