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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.17.1-1build2
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
 23428632d43c98ea6b7b396c045b799ba6fa4886 3620 coq-elpi_1.17.1-1build2.debian.tar.xz
Checksums-Sha256:
 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6 430263 coq-elpi_1.17.1.orig.tar.gz
 95a6de1dc88308e8cf5a07284e4f1779c3ef60f832d300433d93a69ba647604b 3620 coq-elpi_1.17.1-1build2.debian.tar.xz
Files:
 2ae6d1cbaac934b0aa05bb6da93fe52c 430263 coq-elpi_1.17.1.orig.tar.gz
 6e63664370884a900f55e7350e053f2b 3620 coq-elpi_1.17.1-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS2LmAACgkQ808JdE6f
Xdnn1w//e+FgSSaeveSUv4KdteKKs/gjzRwWpPs7+8Q1IoLc3bjqLSGroEXRj4g7
KBgBhT8i9qlmk0XWhkgkqgL+ltY4D/wd2TRXVymKw33tCV9KSEhpQ/fl+2LP6kwG
HZLVDdhuHvVYhe2FMQ2FMUS25DiBjuJKOGUr+PGdzY3Pi1/jy1Hc0rcdcWbglEvC
LsTmjcfhcmWo7ilmtRkkmZqmjwn58xtY/nZRZ2l1j1TXMG+R5Ol5pteLwYS4anTM
eL4YofEksjZtu14CMm+4w293l/vJ4LCjFm7jekMKvS7nBVHzQ1QimAiKiTjLeoQ9
BnJolWZS59KJbNMdZRsvykhr4o/CUORWC4X3ghnNG8C+BFexy32uJxYsRmsIvyQJ
5HQk/hrX90ngsjdtuuybpJvGC8E+Et9rJHqaw+Rx0ZrxiRD4Nb3sYA99BBr5lpWM
PNH1dScMaRoXF2NAEeTI+5tz/R/EsTybfTzNjuMy3TuBU+C3hoONWi/C6a907Lp8
3o+XOH5rUXqZaVIbdim2zCFGqD5l07ZoREBlx21wMAEEe+eGkFCxyVIX9+vdVYW5
XSEqArSJdMYtOkg7xXANcWOjhVOWFuIBb3Y01KwWJNhe2GKDeshitXfWMryXt0Fc
ERfSEaCd6CMdasfmvGAFYrC9xzBI7RFI/adFMFvzE7efp60n8Vs=
=kuxk
-----END PGP SIGNATURE-----