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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build15
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:
 6eee3ed03aa03a1de243b3d76a2deafae5b6621c 69424 coq-reglang_1.2.1.orig.tar.gz
 1dd476cdb44e4cc77de5156febbb9e3a3afec5a3 8988 coq-reglang_1.2.1-4build15.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 44c2d43de4b2d39d12ace11ff46b62ab819c7be979912f889bf428aa6d03bc43 8988 coq-reglang_1.2.1-4build15.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 97948e2b8868eaa1a024b29cf2159fe6 8988 coq-reglang_1.2.1-4build15.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUO/kACgkQ808JdE6f
Xdl5UA/+MSRa/x5UMd/PZRSCo9gAdlwd0LEPLTDjqbxBp2PHlnakwbAAnBypo//U
an+W4fo+0y/lWUHhLNzdkUXdAsZMJLRQh/Rwnp0ltHCUshSCqux5pOA1ZgYqx7RX
LOXZ8lkHT+XUnvbYJEGte+L/p6iDAkxnh6H9L7pZVevgUFeXorHnlOAvM7Hcbze1
lao6vIumf1PdX+2NozwRzgzkTaaOtexVDotEbP45qwh1Q5xIY0tYCsiKYgsPJaRW
EPUAM7cR7XaCZM62WfQZIDsiPHS1Rqv13Bl5jSPuerwzXbQeuXLJZH3Y8Zsixm9L
WCZG5rJm2xgYVfD0u4EZ0wRMAMaM0+/bUMFkAGlw3YkTShIUAz/xakgQUw7O+Ri8
AgBA8HdKWT2DlJbxfbeoHpOgMZB7RXBWfTsZXRTcA9fR+CugBFDUvtsXL6Cic9lU
OXhMCV2uwC1ZHhdnVyDNwRXrsN8fJtJ872xuHnqVJBsClS/wV//aYiOR2MVSvXyG
OFq3qA6bWHb+1wRRnMriQGw1++uGGkUBfDdXcUz2shc6dFHbO3RAT85c9zc/SKMy
oWaX+vWTy6dj3Zs9d85CIKCQHKaVzW7dH7kDA3PYqFu2Kc8x8ToQCiIYizrhtlay
gM03pL5z/6I9IvbYFJ94Czj5HQphVdm/i3JwTa2vpYd+oOETlHA=
=UXs4
-----END PGP SIGNATURE-----