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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.2.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.7.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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, elpi (>= 3.4.2), libcoq-core-ocaml-dev, libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 15909b2bade705774c2840fceb42e8defb2b2632 766708 coq-elpi_3.2.0.orig.tar.gz
 295271235b0384984a0442341e09c4d564d9fca4 3884 coq-elpi_3.2.0-3.debian.tar.xz
Checksums-Sha256:
 eeb3ec04d57fb5c137b94e99fea590a2e56161158077502c74602fa2a5f62df1 766708 coq-elpi_3.2.0.orig.tar.gz
 9c4b95a939cafecd701c48e73f95262a9a249a6cfd601f52e8d4d66af749f71f 3884 coq-elpi_3.2.0-3.debian.tar.xz
Files:
 389b06f8eb7d7c71f06e601328643d6b 766708 coq-elpi_3.2.0.orig.tar.gz
 578f284a823aadde832502d72adde29a 3884 coq-elpi_3.2.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTclQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUU7qD/422j/xhkeHH8GDYYAlGV6o
EgoWQyll0lwvHQoppAPazkXHzOwBE+m1CUvBLw7irvfF528u1F/gymYEzGzC1n/W
WuY+TWKzWdSxXjbrTf2LDX6xTQdOlPkNioliq16rmZW41bK6O0VcyQYFsF3VDsuL
SW8BstucGZijNHrkHkXRqicjD+ah9bHCf1V4Ng/QLOjGvQGeEP6ECzKIkqnhctP4
NE6K28ARCrZYwFhrFuQbYzErMHg7/GgfPdWcNVL1PxgVcP71qydKoeO3QGfkfLp9
rSmRhXbFoSlDZ4rL1FXIoR6KK/OwoWewntzeSQWr9OZ2asgSC/SFSFgMEi412OP3
tFT8e695x2mLw6iZX+F5IY6964Mfdh+E3R5twmI+Cpx3fIYjB4cCCaxCAhw8vNW6
ZniCYw31kxiannnCKTDEVjlq7I0S8F3wFEkY4LyxEu/gs8M7QMY/WKdX4ETz65Vs
WHyl+TBq3y/Fogy4mvkE+mkXw3SLPMlarDO3ODEdevEOp0NMiJsgyZ/uSDxXk07k
okAtQLlW1h9oaVwEsp4+gOpZb2i4vGPEWmLl2M7etubsjU3CLZnmH/mTfyvIuYkx
BMtt0voIWFqs1mbOjtyT87gnoP5/4DJjTtblODSCLdbXEF2Mi4D/NrGnkkDjrE1E
TcAIcme5sQUtnt0GUdi8AA==
=TeUH
-----END PGP SIGNATURE-----