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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build17
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
 6fa3c477b1bf522d2e9d7fe706234f818887295a 9028 coq-reglang_1.2.1-4build17.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 7a3e9c2e03586e7af277dd5bc8683bd6521ad4c8eda3127d0cfb1f16a651f874 9028 coq-reglang_1.2.1-4build17.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 b937930c86c6d3dcb7b477d6c7b24b2a 9028 coq-reglang_1.2.1-4build17.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QngACgkQ808JdE6f
Xdntgg/+PqXpuQddvoClaDv0280Pwj3ozJkYq+SbLiylIo2xXa918m4gRbngq6GB
WMJzpnaExnEy/k//DpE8HRoQEfIwTEJisSAoO9LCh0tK9e5jt327PQqcYWaIX+W3
2RGl4TvD9cyRgokRtFDcTiQDGR4UMWNapJAOi/Ky9nXoap5p1nvFZrmagfvEpWoq
o1zOuZEME9EOve2bH0FNozWNdUx3fUNxMbD02+NeKfyarY8389lVS7t78gyBqtYK
EJ/V+6TMEQvHlwN9sjD+rA5lC6dj4JNc2HIB2gjLnBDLLp8+tV5T9uFTB9IA7zTs
GRLP50rILjWLmrL1+1mLitMnGuCyMmqcg+aPo8wHbDgoYhPBV7kGvEN3AXiW2NMt
7VhiNjMVl2aL44xmV6CJ/dzf1lQh5SFlbPK84l+IwYWFK+AyV5Fm0g3EmExWGmbi
58lTATZyq5wSpciik551v/6PLSc5jubXNG0lEh2NouvZsUYEu+dhKNE3sU6+STia
EOSY+I0/up17cIS4voIaan6lHajL/VUM4UiLGdrUfZvg7krMaVEkfx16p6/N68Od
vQojioteMkuSrmlZv7JepETNo6ttvSNcpgAWRtJWF5aPhm8E/JQLkxaySWrcI5lx
FC0WRXjFtaRlMYRaIzwCTDxqgjBMDJKTd1N9UJ9PZlZijb5JyiA=
=j2Lk
-----END PGP SIGNATURE-----