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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.15.6-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/coq-elpi
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, dh-coq, coq, libcoq-ocaml-dev (>= 8.15), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 6b3879f52a9602baf96d73f85756839faab32f35 404950 coq-elpi_1.15.6.orig.tar.gz
 641c8b3689c8d2a0c48aabffbd90358b76851aa9 3256 coq-elpi_1.15.6-2.debian.tar.xz
Checksums-Sha256:
 73539a72340aecc2309f30fc1069cf1ee1619d661847494d95a815ca6e8e578c 404950 coq-elpi_1.15.6.orig.tar.gz
 bbdfc46c86c265b2c2e95cf79bd57bae8c80455330dd7510962a2828dfbc33e9 3256 coq-elpi_1.15.6-2.debian.tar.xz
Files:
 a51added770e2b7a11767bf996c78d00 404950 coq-elpi_1.15.6.orig.tar.gz
 05f111bce3b5fada02819b5c05a7042f 3256 coq-elpi_1.15.6-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNYODwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRq0IP/0gjgJcTT9NqgJhhXI3p+6PV7pV/fr8k
A2FSNE23dQ1BeyLgpqZC+pahMeGctQirwKL4taUTfFl2fEIZUHoGfrg8FR1JdfyT
VG5UnNgBWowC6ufaTrPh0/71IYfohawOZdCgRCmOvw8FHfnqJnFzv8F4GcWGs4MH
qZIJhDI80vbyrrt6+pcPrvKnnviLCzoBfh0vfOTacbvgaKZxLiKC8PwDp+QHbwZU
5zflR+fRGFFjq8e9jmn7aCkXLva/jOoutpMHYiPaCaIJakcE30Qhb5VVmxd+WLRR
kYCzZWlNx35JItLo4WgL5LMPDp7+UGYySfRngIRrM6mbwBHLiLNabW1qTFDEsBXT
vzAdd2ZWGxVqgva8AcoByVopM9LauRnDZEo4wwegARVGkG2nZ2KZVkVJFCs2BOJq
oiNCz4cNUmtR0D3BmsMFqs/tGb98wLrLiD1MBWZjWKtpHBS7S17FH7vpEgL6Ho4D
rLi3+sWtBjnpFXOtanwdYHX+40wOFPz7Pf8W9MHflkdD5q2lGjZGWR7D8BG08hkP
UKTV6buVwCipbr+cWmFasOwK/XANGCofEORDtxI5U5jA4K/cTErPE5KHytxR56bB
nQ6jwK1Y6EIBGD8CydCxP2ixSqdhbI7/RbkkchTThiLasWwgxAp8+KPqLTu6bRhv
nzTSc+q+Uq/B
=II59
-----END PGP SIGNATURE-----