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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.2-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.7.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:
 e3349130b4c4d6f05a3114be8df583a675328952 69740 coq-reglang_1.2.2.orig.tar.gz
 d99dca9e52e9be845b669555c13bbe625cc7d414 8732 coq-reglang_1.2.2-1.debian.tar.xz
Checksums-Sha256:
 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz
 1174ca34f3ca54e9374ee6f5366d44498b7e9e5da3aedfa83ec37819195a0860 8732 coq-reglang_1.2.2-1.debian.tar.xz
Files:
 a557f003d5bb739f7ca139ff378415db 69740 coq-reglang_1.2.2.orig.tar.gz
 d2304e7dad30d8501c6ab6d5d30f28c4 8732 coq-reglang_1.2.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDnIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUS/D/0RbWtXEWm7HdY28nez3Ziv
bN0o9FZG55jcaBdG/9WXICMQJOVw5XYNUaaTcJYh9swxHWP2yazXdJKOg+9228mj
Ky1iU2nXMJCjwELv9y5kCfACr3hrZ00XAIieun46HiLlbroQzyb6Ap2nO8StcuQX
DEfW0oM+zZr0YSJQNeLyyaRzsKg5eKxeCZ0x2E+WGDsYscacwQ4TlSiF7Vddp+7Y
GvYGRxuilObouVmYlJ1h0YaX60V2Tn4OYJTUL3gfNinznBIrSdAOQ48jCAGKPalf
u51aO3mPFltazP1xVYRtVE4dFzzL0IWi8CYwgxsbebaVcmJaWLXrMg0gN420TE9o
9QWw9R/HDEbLiAI4RukcdmP3EraIprCcbbiDVI43BlCJVrgaEmS/j2Gh+G1/O2ON
eBMQ+ZMPiexSzDl0l632OFBkjjFU56RIswQCH7Qmm5rdlia1JL6RH/OdvsqRw/aI
R+BnWa7BBLe5dvMfCI7udjf8MVRJrUve0QX2uVSHGOv4uEamNbWOp/qAfJKfRwv3
rg/XDNBLjPagD5LGuhSfTaI8xbr8QdKjTd0xnttFLoXulE7t4CMAtM4yAXiTVL76
YSmes0Wb4IGf4cividBfV61SIr/juoHZfeZI26OLFyadNjBL03UuQ7lVywjZNE7W
OJdevd9C/2NYZ9MBBZbxxQ==
=TEos
-----END PGP SIGNATURE-----