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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.0-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.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:
 3e3ef786c8c8cc69d1a83aea4e211b7f5dc9f9fc 69192 coq-reglang_1.2.0.orig.tar.gz
 278194a5969e8dd6dbd5bb87cb258b142e9b37ba 8492 coq-reglang_1.2.0-1.debian.tar.xz
Checksums-Sha256:
 4236dc1fd3c4c6cbabbf2aede45bb5c7c2a2891e1b68058facdde9eadfc23b6c 69192 coq-reglang_1.2.0.orig.tar.gz
 54d4c0e7cfe8f6d7db070e3f76a241109ff7138efa574d7276ee23cf99dd3068 8492 coq-reglang_1.2.0-1.debian.tar.xz
Files:
 f699623d03b8d5b8ceb871cf00a9bf53 69192 coq-reglang_1.2.0.orig.tar.gz
 d4e841f3b2ae1367cfc1ba1d35f1d648 8492 coq-reglang_1.2.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFYzoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRD+4P/ibimJuuLDyGuIdL568YquryZk2HUumo
DqiHEA0kxk3YJfwizrbDlNJcelD70mbWTttS8RHjhVojvcJACJi0knCVCT6vFyId
nY1K5QVYzv+IdHN5bePauoMVTuFTu2t5UKAD2lFLHpeO0BHw0kl1bgKNDWkX1dKC
c1tEziuOw5V/8RsgmUvk8kDqj/MHOdosB7Ck/6/ZYM9tF9rifmF/7rKN5hFDdJFh
jALkRa73xYm7rcSkbS00+egDPL8dsvQFo84TtuPQ5GuWq54nSyfN7mcHtA9r1S1e
yZPIasdpHIBDWwvkXOLmFJgrT58ZrsNKV80NgrnyJOjWbCnyATSphuVXXxnVPUi9
NcGLG4QJAp+Pk8qrAojmkxK9ciENitUxp0sRnIyDx+1DC48TfCUmzyayB/Vp7QAn
rJtH3UacA4K6uQy7zl69t8Dr868byn444UqsCLiDmGyg4Xv/1tcJK+fnNOCPDnpu
k/Xrahk61wR3RbUgPXBoFRy6utQuqgDfKl5ZP2d9LHWfBhYtLKrpJJUJ9fnVfeVb
qzOAa8voRI6ONqGcR16ccJXYzjvWZcpsK/2NSQkllDmyw7oRD1O5ByLj6H5sAu7l
0ch3n/XIQkQliraSmEoP2km+CJw1CX0RL+iMvp9qQWQUS3HVFrSinPYLpe5GJR+1
W1g0TgN+7WHb
=bEOk
-----END PGP SIGNATURE-----