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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-4
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:
 851f2a363f8ff7103b18844f6dbcfb348ba3e2e3 67023 coq-reglang_1.1.3.orig.tar.gz
 1c4be33fa5b8328bfe2f2427db262317f406bc1d 8436 coq-reglang_1.1.3-4.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 25a116f9db12de253b2b7b6f8d258942ef3571f67a5d19134486c5e1dc7bc8de 8436 coq-reglang_1.1.3-4.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 c501f4349b9025b3d72fe10ed3488e0a 8436 coq-reglang_1.1.3-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSmjg0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxxYP/0AvuNaCUZ0aUZH+N2tmySMD5plywv2l
2NvsApTyRyE6fTPUk0LIeTD8SUkm7wnoiR9WDecHeo5fyD4jNuF/nGORQYshFtOB
zLVgsM/zS+2uMqfiWfIBljGlRseXY4NCiMa/QFMBZn2suNvXJkO4YdDJK7BQF4ph
94n9XYkSb3ejfqLfaeH7L6qTsi6R/NIHew1VYmC06deGPCUnUbqTJKoxMHKMKdp0
ZT46nKM/2Rm4Fowbt6VzbGtzyjMjXPHdlM4dsuwdfpq6xgT+FHYh4zL5EuvHVlcI
hm65ANT8Icdyvxv/oowWCWddMGTa2PPRBkfHS+aKDPlITPknOo3dkV+T2BPGCTXf
B0Y7CR8AzrMxTVGTbaDS0PxPN4e/iP+cSQ6tgrGhU8cdQVtN7ZRb7GvRpGc6Gtz5
JiaPSwmhFPQtlSPsplhi8ZacoKjW8Ool2oznfPXZttTXXn9haMBh2qoWWNwhJJDl
DR3Rwphdn1Q1tI5o2Le+qxdmRjwNvgNEx7sI9c0AUPYacBXLfCsD4FJc4T3LiEoa
dRRzcidN499RDZRUXY4goTLgfYl6T/ShaaEoXJ0ihV5YkQDfIlETa311+cehAIDQ
kMWW63HTFc4TI+8n0XUWRtHlwcZJRZyO/8LAJ3WeNrEkaarzhCfSmDWzsl1M1P/k
t6qqgHTGVrGp
=3s/e
-----END PGP SIGNATURE-----