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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-3build1
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
 1dfeceb9731b957692ded7da39e5d682a3cfc195 8636 coq-reglang_1.2.1-3build1.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 9b0045c1f47cc5d1342e80c272c207e90e850ddf93d9bd2b430c22b009d0bccb 8636 coq-reglang_1.2.1-3build1.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 1c3dacfd9677809654726c3d85a276cd 8636 coq-reglang_1.2.1-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8ywACgkQ808JdE6f
Xdlv+w//R6HwLufZSM0HptINRFP64/Z6CgXLef65/TkGQiCAq6b81Bj4aIEs3rjO
iQkU1EcqWD2GPk8QiY5o2Fb977tCQv91iB1dZ1aXU2ZlpAZ34Zws8+euSo8XlZvU
fznzYe44TC7UCs4AFOGVXZbiWm9n6b3QjyTdY/R9ElXAL9K8YfROASTljWe4QvL5
Fxvk7S4pFpjay3Bf1rCga5QDbSWmDy9PoQYUgAHMxC/3SDABcsqYoP6bgb8JHLHT
eGcmNh2ZX5bNZ3j8dEKc/4Wq8PAVsaJMI5BC2VdRIwkpNjw11gn4pnSNgWcfgbKW
3U4SMhl0tsByhMAKMFxN6a3SCcBbFxVcAXkS58urVoXAUSCh8vyi5gZWWf4d98Qy
4lbb09KqnMev/32uejXoXW0NmGPF+1y6twRpyqBIKal6hrXeCL8KmWDnkLc632cB
7He8MPqWdLiec6XBU4q6QZvYwtdkUqUdM7rFA9kCVfvURiTj9003ReQWmYPNHh8k
dDNGsSfmmi6DkfY+xoxWBcj7i65D0jvbWC27BWCZyTSqFXFMpjExwUxlRmdBAJD0
R47viJ72Ceo55wzSXEXLAVHOoxxj9Dc7PcTKUEmWoHPTsTUcguhxoPg1G7Yt76Uu
ghrf14EuGrfwZC5V6XwKaMrUJmIGxvzCV+PCaHVlPbyXez8QuTg=
=dQr2
-----END PGP SIGNATURE-----