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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.1.3-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.1
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-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
 e2fbae33b38928f5ef08575a003f31a63562859b 8328 coq-reglang_1.1.3-1.debian.tar.xz
Checksums-Sha256:
 eb36d5bdd375663f3cd3627f5f3cca54ddfc83982a1f8dc106b2424cf1ca371f 67023 coq-reglang_1.1.3.orig.tar.gz
 6cab30ec0d3b1e8c07b399210f379863be9a2024eca3c1995a223e6f9bb4d7f9 8328 coq-reglang_1.1.3-1.debian.tar.xz
Files:
 36011415d0f49a7dddcb02b89dffd288 67023 coq-reglang_1.1.3.orig.tar.gz
 da86be93947bbd4e32f467ff95f222e4 8328 coq-reglang_1.1.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLR1G8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGqEP+wU3zWTicSEJKuUjYyL4azfkvjGXpsGG
mzfrDJ0n+SJutFfeD0ZKdTcgtbBYkEU/VKjgdRgYN8H2+81ZTbBAaDEqKklZerT6
4GGQZ6KiyKmuvEfCev8Gqy4HJMBQCwHT0IB4qbhDeDvIq7nAIas/IfmliEx2EhTA
z09Lfff9A5BkF102v43B5FVsR7+YE5PO3VDf34rIzGGPgRztI+8QW/3gLs7LhZi4
MHi1TfmEuvmFheSWyedSbtNAgsk/GvHCzTh+kh1+q9RYdjAWVB72QXUsvVyVdGHE
5/9k79xdkX+mfGMK+78FUWYLu1Jx5Hw3mcDTjThQ7yS4uj5RsTJfG875QvuiijJH
0fL9cpIqyqXitAZEpf4VvoOnLTVSvZjJ640sIBS3eLflVzolMN5ucSN+0QE5Q3tu
RZSXi8yRm7fXuWl1fGGkEA2MIdYM8eEd3f1U/34UMaBJwkoWRQax83Wm8F9+nrG/
NE/7lhnKmVbaFeA+TGlT8ezE3qhgFWVJ5VNsioixiue7ZeTkVLY3zHaPGIAQGDrk
327i9GwXP94ux+mryxJPjLVJK+f7uAgVzi9hmcqe02p4K5W3mxLN7d6IZAvhuE1d
UgLuw4XyHffIL0ss18xtpxs/EwfUyfPS5fbZ7owpHGCBytkTUGfGk8Xu5T5YJCYw
YdMddvPrPcpa
=oWQ4
-----END PGP SIGNATURE-----