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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/reglang
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-reglang
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-reglang.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-mathcomp-ssreflect, libcoq-stdlib, ocaml-dune
Package-List:
 libcoq-reglang deb ocaml optional arch=any
Checksums-Sha1:
 6eee3ed03aa03a1de243b3d76a2deafae5b6621c 69424 coq-reglang_1.2.1.orig.tar.gz
 2714e42465a6e0a9a254d30b5499c2fe4c48831a 8508 coq-reglang_1.2.1-1.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 38ad251571d3d296ca48c38738349040d2f988241ed463766fab35bd37a8c6e2 8508 coq-reglang_1.2.1-1.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 08205f7f7914020a325164d187a6b4fb 8508 coq-reglang_1.2.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsJj4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR49YQAJM2pfIOlnGBQtzv5Z18mDzNYWaxgiXk
Cj5r3mpEltal8Ggt0uE+wO4feuBfmJ8UnAXAoa+D1Qpiif8TPXcfxGJuDhrr4qly
AKhaNvd1RQC3Ef4C++JbRYQBfpK9+x3wa1a3ieRs3e2GJdvVjKvcZqH5mtKus3me
wAVPk8qKMsG92/wfvUfSgdmnOUaaP7ktyX3erPysIdjVO8ynir7usob71LObxuoM
iivTCv7xRHRQ7AJEmpSnzz7tLkWFVKdQxKW0JwmGi+QCQX0Xx3F1Ne77N4bJnpMg
aA0MQNFs95F7UYqh+oiFz6wy2CEgs0jbWEaWfuw2QlzjVAizA3NVPffMEsx6GvAG
U/RWAqj8RJ0he142HPnx5SM0DORwfrnhDcqPmo7r6NqB7EnCxpa4O6LiHyYAKscW
IiYaelbvRvHH5++SQF3JVUJuqlJBqC1HZMTHiU7lrzphl2HVmjKcp/SWsCFZhxmb
ObQt6h7HSnO4yfE5qENKhCz7iM67IZD+xgmgpAm7xiGHhXB4AbQC+71EegvC/Lfh
8S6mPgmCIuWUXvBxf5Bpkb31ipacTuC/YkUmQtED8d1jwBZRYmwxx1J7Ptfbn+xW
0TSzOmXiSEVwUttbPEUJIhhuqYzO0g/9Pa+W9PunDT7t3J9ZwOFOjyj5mRO+AvnB
3bC8P6GXdwwU
=dXHB
-----END PGP SIGNATURE-----