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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build8
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
 25222da6db84a876c779165bc3d2dbbfda2eb9b0 8892 coq-reglang_1.2.1-4build8.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 c4e298e560d59d7cc64dcb464885a8b85e7f0e3494f539e65246524e9f3e723b 8892 coq-reglang_1.2.1-4build8.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 bf34e7a243de84e9c5dc3f2c5e9c809e 8892 coq-reglang_1.2.1-4build8.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdldC0ACgkQ5mx3Wuv+
bH03JA//fxO776YlTNJ2fPOQ0FIhTEBh4Dvwa7SpGjldTVeZv0o9vb3gqYsoLzKm
AtRAST6EmgaTOlgZBSHa50EjuV2xovvzq5kKAa2EYdvIDzDTf4gxkbdCGiiX3w2H
3JXiAsg0h+8uMDLIqvot0RlyNczERqS8H+oy9MyJCCV/HTYHsxp6uoGGIKLCLSbs
y7hhWmsT4bjVduWvAOAQUdkkVja3elswKpdzTMruJkOwRyKErxPGJ+UDFlum4eLY
0QBg55tM65i8x69fVk+fFUBCveZqg8K3iUwVOCDpFHpG0tB+7dxpGNt8IJEhhZSD
6MH5POYIS52CGApsxZzb89pFZn7IuW5Ppcdb5hC13nx6yOLweZmp3woW9Qrz9heQ
auTVhUwtP0ZcTjlXEz6n37Yv2DmuhtYuLAa4ENqTJA/vB1wZawMg5RPAEe3sGI2R
FM+4crzaYuztU3qU90Q26NQIpW7TNHiDO8a8ZdqOYv+vgN3gbtlBE+ZAxV7LjdiO
94hP4X4BiWJ8HFMmihMCzix3viSpJlhrnjO895RWq9A/eYonQM3+boHF9wFwRdn0
Ogdoh6ieM+scWqWmzEVhg0yxU/9bwfmsEsgbZnR5e2a0PUa5meJApDQl2KyTEw7m
hYUP8Gomi/nFbBag5gyTfgI2e9AzS9bSFj79jto46BDAnF2qqvE=
=skFs
-----END PGP SIGNATURE-----