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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-3
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, dune, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-reglang deb ocaml optional arch=any
Checksums-Sha1:
 851f2a363f8ff7103b18844f6dbcfb348ba3e2e3 67023 coq-reglang_1.1.3.orig.tar.gz
 505761624199d6b2201c769e024ac8decc9737c8 8412 coq-reglang_1.1.3-3.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 fee844a8ee85574802980f5598e5589d46da46848682f75dd0de85ce6a3bc4cb 8412 coq-reglang_1.1.3-3.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 1aef75464d650d493a030698d26fd04f 8412 coq-reglang_1.1.3-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxKUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRDMoP/3gnCpy/BrcHpJdz2YiUDGV9FgvL3Mw6
EQ6bE3rN9zrja6KPJVC6vVPfYt10Y9IeiCteH5Jgb2j9oS7a7cWfw6SQDoL+DlWF
dp268oEvrPaLfZpyP5SiUr0UFdyEBTRFTm7uHaql/RwVrL3Y4/UhQUhEzpkimZ7P
3gTGzXjBQCgnsghckZBbJf4tW46klva52giFtzaWasFfbnMuXze91vPBQFxh8OFN
nyFTUZLtBuYDa9wF7BARVS7JNYbeN2Bi5PtLiQhB4/m1CcZOOn++a3nj702iuOts
0wkIZDG9HGIxk56ZUZ1vtVXYTY+kSbH164TEJ8NoKgTI6Rdjwfx9+ZyRcZLJW/Vl
HpjNjLBzZNWjc7CYq+9OjonsFsaBD7y99DdxNwwTjjhZg3klBQLVJ8QHaMAlm0T+
ebQtSFHeS8r3otK9ybuv8d7n67SFLW1MXzSKpPz4TI1/lQRUNFEGFDbCado5Nfou
twBQ0CfR1sO2OtCTBVLQyrLghFQNEC5P68upfADlnwTzUUt0LFcPkYGkyDtsPayK
+b2pm2wf3CFBAP0WPXpHZs+F+fk5deNA6OujtMvByt1wlxgceTyFt5Cu0g7cBWCD
ud/0CcbUvQUs46o8PQtEok6je6NEWAG1Ivl7aZT6Bku7fAUBjVHRH9YrWrM6YDm6
sHDg2iOei+km
=eIvx
-----END PGP SIGNATURE-----