-----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 all
Version: 1.13.0-3
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.0
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, coq, libcoq-ocaml-dev (>= 8.15), libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=all
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz
 05568366a9adb3b3109c7032ab91eff0e858b4fe 2916 coq-elpi_1.13.0-3.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 8321bf6341d09d32edcfb6e0047b16db95ec0e47413928dcec4d56ba732b9aa2 2916 coq-elpi_1.13.0-3.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 1d1f1fd5997ac8951a2a51cc1661a302 2916 coq-elpi_1.13.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJHA+ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNOMP/Ruikm/YrlgwJHg/hdp+l7qfSYH2w5LZ
tKAB9OuFYR0ZniWZLs7bJTm8k9pqNTKqmpta+a2pCD5T+MzY1RZhbySJEhwrf2Ih
4O19ysFK/anxrbPVrhK4UF/XdWasS8EiWU9YInJrdxJe+c/um6wbL+lFTexpQTcR
553OYh0F4AMVsP65RZLG1hx+wrhfmBOWfqN+2FMnYc7qCenhKB6QRp+2ZZeeISMC
XejNya4+Z9iDnz4ufW47/3NlPAj/sY0vET4QrpWo4AJUQCsy59aGmgVrXEYATzkm
qv+dctQI8uEssUOBSEVS4N6nzbNqyWS5lwS5rkJxYO8G9qUPKkdlk3bfy9g5wuSW
1ZnYI8nk2HqfXxOKinwuGSvgOO2Rgr+PIDYhC+swlaWb+RPu1f/QOoH24JlmmUSg
5brnqO5KzzDUQX03Pc1vSwFKW91N/MIMWzTWH+ZDzh2h+Tc6l1o9sAwGC+94Z1+Y
BHYqWsleVdQZoscEVAncV7eEvtkGWJIMIHY5/7br3MAz/7pJ5iJlDFHO+uGt3hjt
iSmB6r6IhsyIUqDV/U2kBNjHMR+HcetT8y5h19RaY5H9E/cWiA1enoYqn2YMCOiE
7DqGlDASclKHvpec+nkRO4jvadLXNjOae7cqLFoHPtyL5aS8OopK6LIGzP18Gv6K
5b3U/b/dKJIM
=dd6o
-----END PGP SIGNATURE-----