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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-1build8
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:
 20b9ae3dd9c7a20a0f65da91a74943cd4b746f86 430263 coq-elpi_1.17.1.orig.tar.gz
 193095e6094f1cf53e26b50e5dd2ad93b6ff65c0 3692 coq-elpi_1.17.1-1build8.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 07399489f05fbb8df8fdb23f509cbbfba2d601b4edbed19403d8a5b1f47e2185 3692 coq-elpi_1.17.1-1build8.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 aa86dc8d71b956520f0a02bcf17d16d9 3692 coq-elpi_1.17.1-1build8.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTsuRIACgkQ808JdE6f
XdnkCRAA1d1Q2BFyncgp0QiwibZuHrVg0wgFJt+j7u7HZzuiXOWN+9InZDsZpF3Z
n40BI+A3OdIjUt0DvwBuQmKN3IU+8Oikeigdq9c6to1uJykGJdyXsIg8LaoNKEJy
s3MwZjUBq/GWfwgbfMB+u8ijOJ4GO10qRbOJ7wnrJX4TdOxFNwxAv6c2yZP7rVWO
Ah2YAxCHnlaPMygMm517XwUZRfIYJBXixsvnAkfEUaRdCP+Q7jX452UKlcgbC6Hx
UKm60upd3296w1voPMd/x/H7I3ieg09X4tJNkvOnLYMJ9z7kJtIGm2WBApD2SWbA
DAfW7zKyY0dFHA++RgCETc0LH9tFszaHmenMCJ8LgAgcjebmjisP+n38qtfjYa4a
DUFf09vpgENYpHk8rL49A9pZvcqhRBxlMErlnRgmso0dCP41L71CgYwabKor1dtc
7Bj5Tr0qxqKRJevfLh8MJ7rMXnR+w29kcv0heM4sjIrpFlJPm87Y4uh251WON4Pb
QHQqqAtyEbl2ZTlpvkL7yaLrJaZveztSbZiIBgIE7foE7d83+Fps3hvbPnhl8NYd
ziUIgTCeOeODYiicGHDE8yV3nkT/grLa0YoBaqoDRYTLTOKA1U9Il8d4u9xzrwMD
5Dw69c1/fzfgIc5xX29pZ9YAB4zoHU2QSIeAgMwBWCNDESoFatY=
=xKGq
-----END PGP SIGNATURE-----