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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.2-2
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.7.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 (>= 9), 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:
 e3349130b4c4d6f05a3114be8df583a675328952 69740 coq-reglang_1.2.2.orig.tar.gz
 256530983393efb46f05faa5958fb0d6727deacf 8772 coq-reglang_1.2.2-2.debian.tar.xz
Checksums-Sha256:
 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz
 6c51e6548e606c568e74c5cba0224790363b56378b2872b72334659f4a5b3714 8772 coq-reglang_1.2.2-2.debian.tar.xz
Files:
 a557f003d5bb739f7ca139ff378415db 69740 coq-reglang_1.2.2.orig.tar.gz
 3c1b9dcf6f512495b3d936fb939e2733 8772 coq-reglang_1.2.2-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkMEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZTeEACFAbEzDIN1uDp2YLjlTVHl
CZyXrKYH0oY/wYPD3uamrXy+0KEeTIBSrbNy5n8K6aGe7aZ3UqeLEPXGz3eZjpk1
ZE1qblLkHrVw0dxXRLTEG5Pgc9s5Ek05DbBAlmDiGzkb9Equert8uvLEEMTIB9o2
XSIQYemouuXsPmTqcYrEza+siVPAbNbLm7acH6z72dlfGAYIEKDoBqSwI2GkXaJd
9cJ6v45qeKdTnHbYDdtHf3ma8rvrs/pgJVimtqGh3EEMTVW63Vm1m8s3cXE9Lzfc
TvUn03GkGNUzOdTc5NNY2bUkZu0Jgg7/i6DQe9l1AVj/qE5DVLPqsODHhDe+oAdt
7FJby3iO5o3+d81heuKsiHuYW/FfpA2zYxVRUB8BJTQmbAe/MPYzsMjbIwTS0bWe
lV0lvmY5zwv3cOKzrMQ9SwyPMSdHTX4P9eNoO3WGmKwpUAOiCnqtAHBd5rwz2yF5
BcvGpdERZa1SQPFDEpnSwGpIVMNuBLa+9weCfBXjrSI6MBPzI+ajePAi9GIs9XzC
Clg0lRRAyGosWT6cAC/FNWDkG//XQngeoCkPDo6vfr+PTikrFCu7NsTbap1sfHi9
g1DAI3PaJ7Fcjc++UDnrqk+iA6oi+VZiWAH+MIgsf9LrFu2nqFYJbRHr1f3f7lKO
SQ2ZwPBApXZ+8JTDKF9NIw==
=7IoB
-----END PGP SIGNATURE-----