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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.16.0-1
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: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev (>= 8.15), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 f340c26af224a9c6844731bddc4b037a1ffe4020 426223 coq-elpi_1.16.0.orig.tar.gz
 c29a4024588b153717561b96b0b20b44ec3cf218 3372 coq-elpi_1.16.0-1.debian.tar.xz
Checksums-Sha256:
 db21d73dd749290fa6ab858dc40e75ce7bde7b80724338580b20902bf05feaa7 426223 coq-elpi_1.16.0.orig.tar.gz
 e666c28d25b75ef7c1c61ff98c0aca33497239fdc2dcd3a261267d3ae8848645 3372 coq-elpi_1.16.0-1.debian.tar.xz
Files:
 688a6cb1b67db26b007a0cf54ba0e985 426223 coq-elpi_1.16.0.orig.tar.gz
 eceb32e9a7a066a0bd32d3f0fa0bc6ac 3372 coq-elpi_1.16.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmN5EwQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnGwP+gNk5c/gLZNYWHLKhs8Vy49c3QxCauAo
pwq8LqffzPVuRRVYrNlFxqKI3a2JJUsJaIjhDATBNARrAOBCbuCHbwbXmBEWfeWu
J4Fqc8SDkgaHUdYwllybdeamoPR5pY1a2BwgtpAxX1gjQRKZnCGtXIvYi53+bUn4
61Vm/31QZS201txyU1jWNK7kozyDATokZB/2PtMrMlJFjiScSZePPT9ePpp8hDXp
Mvo8z3qOhXNJeRAtVSUbWBxqwkYsW+zv0xn/cxa4QCJO6owM2Osx8WkX94k/d1kg
L84j90FzmLkIp5PYEQlw3Ki5X6ef6nX8m39IYCntea7nqla8sE0IjTEpJOPh7Jxi
wov+MleBEqjfjivVy8CJRzOE7Yf6dTKLsO569HoAqdwuryA6vwjQDH4q/Z0Tbvw2
EAvGFbcaB163KIBBArwBDk65Co3sA7QEImiik2iZCSbADEAlixXhBKBMti3xWbKA
0B41/fqInl3RpwxpPNlTKL6VXfth27+PspHMiq14DpFcD8aDI709169+FlCbOSIF
AswonICEI4bRlkwudDKwGrntFxR5ceOqM5D/Lu+4BcMeyZNwlz1wBrJUUStYV4LO
Qx6uSDKhqWAPFaL5wvnaQfiPkdipSRUs2eT0UXSMsOuIeJaSeoEJ1DrOY46F1nhW
9LrSaB8OCb0p
=hKKV
-----END PGP SIGNATURE-----