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

Format: 3.0 (quilt)
Source: coq-reglang
Binary: libcoq-reglang
Architecture: any
Version: 1.2.1-4build20
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
 80700492871ee2dde37e9e2fac622a1607015956 9052 coq-reglang_1.2.1-4build20.debian.tar.xz
Checksums-Sha256:
 0a0b853389651827ded42dd3ff21f61d1a1dbf262dd8aa1f71f4be96d9322a75 69424 coq-reglang_1.2.1.orig.tar.gz
 9970e9aa64c163441cfb2cee421a5900617c86734eaf5c64ee8b098b3e8bd3a6 9052 coq-reglang_1.2.1-4build20.debian.tar.xz
Files:
 39b6d7cfd0237d44e4580bf13afaf6af 69424 coq-reglang_1.2.1.orig.tar.gz
 c3a7ff61e0e947522c29842b69c3125e 9052 coq-reglang_1.2.1-4build20.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5MNQACgkQ808JdE6f
Xdn+dBAAzGKq72+2eE44x5NZaPQsEg7vADWsWHK9M2yuklHL/osCLSlWpnGh8Eav
8siLXtxx2DRgCLLSCpsTiAgGRdQD6/Mdq1Nx5GWnK3JgjoHb7G2q1BtOFhpT469t
GEwTGwYeA3AyOT1ES2qEuQVgH/nF1tMw2c+jJW1dCXF9y6/Yjlpi1gzAYkc2dGmY
S+FqpNjXa7QrTHRA1K0ttr711GHqolS/2E8gsNXAAb73DK+bOpLARkrdcPGH8kS3
V10GRBE5veUNrEN3+SJBzd8GUTftPZfKWi/gaiFC+5r/GL+qEvoVobxcq1eEcX69
jsU126PyD1QbJJ9yZyS5G02ruEuVBTktEMdUbCZ+OUTMaqWxh/0sMHNl3LjiIrmv
il9Bg/ECF8Y6E4yhfgrgXkXkfuvD1wlL9MoC+fHZdJX+0I+3+2x0Corh3fGgUtMJ
24kmFA0E9cNReJVCTiJw5bi7REt36Brihl069fndwHjw4BtB+21H9xJ5QiPj6B8o
Tsvcnmv7/jFJDCYn6X7euG3LFdRkkxdaIHKkBrQecrhrncnpZK5j2DKWMXx09a5L
3mtuqBtgMIgBgLlJQ1U8kum4p8efD6kN8Yy/V+0740HhK8KojJjuWaUKO0tLIECd
ZeFKKq7AuuM2lV78TvfwbadRFapaLzX6x0gFkkLtSBIy2RY2NMY=
=epLu
-----END PGP SIGNATURE-----