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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.13.0-7build2
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=any
 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
 85593ab9e77e132aeb80ff06c466394b1f34f8d4 3148 coq-elpi_1.13.0-7build2.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 18c5c3d4caeb639b6dfb4b0b0d23723e99d4786ae35df705858b0145359d9970 3148 coq-elpi_1.13.0-7build2.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 145d2cfceb3bd5ae1c23766698e0ba86 3148 coq-elpi_1.13.0-7build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmJ/2k0ACgkQ808JdE6f
XdnfWg/8CFzdV0XavqjHARdaifmOgUT3KBmK2q3iXEEDFICPHOUnMcUYHD2VrTj4
Mwoej3bZpexDvfgCAYWxDLOBgqGWlTMmV4jMdxo1U8COzYtzGFJ0dKNKiZjOdF7+
OlaUbmYYzefz/nrjTM3ujgPzyRSqIWV8NPJtNuPAnyFl+Oj7reqFkcRf1eehwujY
6+NTWpyfY3NJmu8VhexdPNnD5YBha5NDtW3l2AV/+Ejs5XWLJ3nnNkPmpKX9LPUV
XLKxew7yapGEXH8VOKnGB2XGwo4M+p6P9RMa/kb02zhZ5DvIa+MC0GfRIkVnT6X0
81Ukk9iIMO9Rm+r2PPxAddsiKKz4SO5ySFyRuyo/nNMlwG2i83Y7syZ/NRTUatMs
IfmUlnyALF6R9NXPgir5jLnNLfR2E0czf5nDMkV4gDjV2vzDrct0U2qKgZteGC2G
0Zs4iTu9L1ZgdasEXeUWQFGWdtXsDX/ieZlf267cW53gZzrny3ELLvjaNdw/FXdX
Zf8+ew7szyv1JQF6Y8zCm9oKkLB6GneuSNKLUV5NVQQ5iMe0W5kirgmIU9Ckf+tC
mp3NKrYGxGvR/agTTnocdM/i8Bc4z59p4ZQNwRR6vV70DiiocfdK8j6x5nKGqN+m
+sZNASGimjkGRJJZ409ZtpKDHaR0/tsAPf9btmgN6BDIbL6g/Wg=
=eOQd
-----END PGP SIGNATURE-----