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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.1.0-1build3
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.2
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-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 bc5530009c9c3d0173d547360f8f292163006853 715777 coq-elpi_2.1.0.orig.tar.gz
 16aa75c6e8edd5d3dee9595410707b687af8ae7a 3744 coq-elpi_2.1.0-1build3.debian.tar.xz
Checksums-Sha256:
 2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 715777 coq-elpi_2.1.0.orig.tar.gz
 1343f8c05ecc55fd8dc0dc932ac061f1eefde8f429fecccf7615dae06f0226da 3744 coq-elpi_2.1.0-1build3.debian.tar.xz
Files:
 8982b8e98b29deb53c03eaab9160ec10 715777 coq-elpi_2.1.0.orig.tar.gz
 a1ba0c9fce8eeb9e29f93778a883c0cf 3744 coq-elpi_2.1.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtplIACgkQ808JdE6f
XdmDYRAAjxXM7r//6K3O93BZiSQJHfIA3UrSdqQOc+J4eL3G6BAOjxdzHnzzFx0b
KEZk1mj9/Q0DGyjKjMa0oM6PFqZ8K6Kj2ahRyVxhelO2Ef4kYdGQfEcAqXUHlwld
9iLSVMQuAK9ncX2AbIrfwzgDjSZ0g3c2fc+W1rycl7+UfCpfrXUqMX5VsEMbI66O
6CeTaK681zfe72ygidvKRS19bk2JW/7Ec3Mk1AV+M7ctqnvWHUVjUteeSHCF6J0q
2l2FnOrP2TdTTzZy8sDoIRkASyMsmZSyn+PcqBMPYQ/3W1rBZvkaV8Ff5/8KQ2HA
bIsGwRc+VjbfBGGGXt4QD1hJIYe7uAtU6fiMzWpHHLVCcsi+e5tVOfdFJdw05w4q
ceGNx8b42WpJiLxp6HP4Cz7EMyH7WwwzdMz3kCFav/1LO4F+fbMCuQIo/c4mT0EY
MLj6OVXVSUxqgap40i83NX8WcTS9oNyZn4dU+py5SRQMroM2rZaGuQDIAodIoQUE
ab/FXgOd2VE6QIt2tSV0ALsgBAH5xbtaDi+R8QHGYmE9ez4LOz+CD7wrIseVXRcO
JzxMsSWkW143U7GowmjgxeftAYkwJtIJeg1pqppNF7HI9oww2Dog2+WmEv51e1AS
zTjTsMr98+XMVDQr1SDyDlK8v8/s7ZQ5M38GTnCFca2dfnCkXR8=
=Pz5s
-----END PGP SIGNATURE-----