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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.14.0-4
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
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 42a67b1d280d76f894dcc0073095c4239fa75d3d 360407 coq-elpi_1.14.0.orig.tar.gz
 f8178a8cc9689c7986945aa74d2d9d962b568f4e 3188 coq-elpi_1.14.0-4.debian.tar.xz
Checksums-Sha256:
 ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700 360407 coq-elpi_1.14.0.orig.tar.gz
 65c8b6d069289af84111f24d93072f1305559e4d612a6d901640dcf1cb5253c1 3188 coq-elpi_1.14.0-4.debian.tar.xz
Files:
 755323c2d96e12728833234b92c33ebb 360407 coq-elpi_1.14.0.orig.tar.gz
 d2304fc9e7994b6c02817d1286666157 3188 coq-elpi_1.14.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl1MMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtjIQAJUwM+EWP18M8UIIaOms9qKoMjfzQGjM
mhOhF9KUgD0ghUnPGoHrKSankK5wB+a+UgKc0s53Phba9LwkvoaGYREno+EnXsgt
fvIrP+nbmQS0qAmddYpCH7QGtX7qTeAGgs040Dhp6eIzVLiatWu67/DjKWpYDJzu
2O6LX+JxMgHs0vTXZrjf0OfSwjRpnJCOXUJmJRkZTU7YkS7t6yl5Krpq2kx9yL1A
01ohusJwhVruSnESbuyw1Vj1oqe3ma5IYgtEyT28qpx5pCaRUfjMvr5sziCXjI29
+cjIIveS0KbinWsY/iH1oGfxjCXdPYuN/zhGGR4iycHViGyiJw4e+tyN2RK1HGag
bULFoZIG0ha9al2j/9lZY1z1ClXCMHdxVCvY01bvbiYRUtZEvCx8ZJOYJGSWgcOo
EOLfT/Ad3U2A3BR6AB/r84ArFJFgQ/vBxp3lZ8gUuDAIchOFiaQl5BSCjPZDRVH/
8MQcWXphhVJVi6SHnNh2A3YJhvRl8uP8qbGiYgTDtyUPXsGBnnE01KxF/hQKUgZC
oQXHJhkKqWZIkHWn3NJhFKcsC3lN5gwtyewKcrflRxeHurD2J+k8v6UHAi3GbuTA
vsXp8GRv8/ZfgYasioTCrJGEqrxtpIzHPFDnFgr6f52Iwt540IxW+I3TqJE7iq/3
zW2OyneSWlOz
=0fyR
-----END PGP SIGNATURE-----