-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build9
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
 dccf1884dfbda7af890a07bd656475be2de9be51 8904 coq-reglang_1.2.1-4build9.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 1228a5d64e1e0f927b11c8749d3e5fbf8022e040be4f4c654f7e9e2258957573 8904 coq-reglang_1.2.1-4build9.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 1cd19c30cb01233289b604f6df740b85 8904 coq-reglang_1.2.1-4build9.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeR/XAACgkQ808JdE6f
Xdkbnw//YVsZZ1cNe3I9RGtwPUgaybUyqShk9n9+6p715ETAGSOrtIDg1jH+oqtN
JxY56/RhPQPI1+5B2pV/EmcvoPitnj2KYwFhfWTlPnSAjI1VZDGOpWLJDcS2b5H7
16931uBKqiYB3rWBoc1TLApY4dXSTQlYvVbAT0HpPMXhRoJ8wWPjWLAqe/VrdF36
Gt0ar8NXxSO7pVOkHoyUIx+HogeGVqEErtoobpo3vpV4uLu43aCguSncaPyAWgU+
74eppVVnUQ0QJvUSI6OXp9+VmgqZj94gaU0B0lE8eDoFSjechTP0TWyHZHSM++/S
w6lS6ScvA2Bamj6+BYOrhx+UzJPdI1JQfiIAXk0lghLEQ23P6C99pMFXp3lDDGIw
6whOUH81Ux5hsRXpQEosAioHzblBvJgIX3x07NNlsBoSE2HQEU+YvDN78TdJIqfa
5Gx85IbZD6A2GTJjdqJZ42OteL3NobRnJAcl6/gI+2ev4GQHpOOp+TXGUNWaNX5z
6lQVBt/a3fD/aWxg+qV1rbKpQpaVN6BOXKaDykxv/igCAXbupERO0BPC7t9JP0OT
jm9fxP0VMSYGMybWRqxIkI1ytNDNZNCNEddEN3Bn8iRBUlPJxDSNACDEy9eRsjII
x2D2qWr38IhOwu24Ku3djm6GiENdBmUyQGUPNbKcFZsacF5V/mg=
=4Ja2
-----END PGP SIGNATURE-----