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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 c0fe01d8453e4eb58eecb493f387212ea05df9b0 8728 coq-reglang_1.2.1-1build3.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 5d29a5364011bea63023e58bb58cb5dfffd99c05c6fbf9c13d93a1be2298eed2 8728 coq-reglang_1.2.1-1build3.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 a300c0b72f0550adb8bdd43f9a8ef5d3 8728 coq-reglang_1.2.1-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cIUaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2zJQ//beQbdpjpQS4EVWW/uDXX
FcjOhRSvrcxo9VIASUDM13sAwx2G8huYxPJXs7ikFWKWmQscEjomRG2aQPHhfioY
y7qb45BiogjO+s1a2ETL9aVRn1lhEto/pyWNE1x70FVnShNJ5rS0QdUmzsK8cz5i
VDY/cDjxzb4gLUoW7hg9H/C075lbDBPtttnzbiBCSTHOFrviqIurITADZ3KWltPe
QJwx79J4b2q5KGMNbFcWV7CRLXbT+nRsPMPM5JhpxGeEFERjCusl2TyWLMNesiEm
I1X4oms7qzv1V5QrSWmCjMdZN1NORKppcVmcbZ0kGBevraciDnrrKvH+t54JFWzx
f09uFgyLxwzqxCsq0n1FYKUL59ws+YiEjlnkDfBZ+PDBytDOZUqzWUe6bAg2EBwc
d63mRsH7rgbRCq2ttKoIs9SZ0YWGGq+gXcydGGsAe/2vIaOWeUvy9FSIjAXqVZjs
0U4oB3D4olqZfoVEo9Gw0juxCTSGGhBndlessnB4o97Qt9E/nmwwSYOZuWVLeAND
deMRoE1BzHqoFKB3hxDLSflZNGrXoAb/cAeDAdZ84WWwoOEAvapAO9GGlhkA3zLE
PIJiuMqtwXw4SWme9UjlmD1JqkwyGVFtowtpOgfplGyhHSsF/+H6im0hn4TUrHf7
DbHLIo8NfN3PzkX47947M5Q=
=AdxE
-----END PGP SIGNATURE-----