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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.5.0-1.1ubuntu1
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.0
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, elpi, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 39767838b809bd36739d7e4edf5a03d58881da67 745968 coq-elpi_2.5.0.orig.tar.gz
 6ed76faa4dc8af2092e357dafc0d97dd7352299a 3988 coq-elpi_2.5.0-1.1ubuntu1.debian.tar.xz
Checksums-Sha256:
 ab536326caef5b9e1c2a9ec6c8b413caa04e8ab428c8351801d2134117019fce 745968 coq-elpi_2.5.0.orig.tar.gz
 2d1c0a8488ceafabe8e9664e7a33e05e10fb7dfbf900d9856510ae443ec4d17c 3988 coq-elpi_2.5.0-1.1ubuntu1.debian.tar.xz
Files:
 43f614e71f48f10222a5f8b4023a3e23 745968 coq-elpi_2.5.0.orig.tar.gz
 6b12a4ba786f7d043806b8acb9435371 3988 coq-elpi_2.5.0-1.1ubuntu1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj7wDcACgkQ808JdE6f
XdmzXw/+LavZETeKJnzHwl0VMe4smUDPyRy5qZQaISVJwhSy1oREupV1CHC/QSht
DPlLGJ6rlF1Mi47CpiuqrQMdwqQNrXXoV5Mfnip3ZlNdv/LHPbdlzMw9/nKLGOCS
JfLjPtyTnKBj2b0EYIVuFKo2rlfmKCOxr3T7fNaQbLAMnkXipub0OQRNS6DoaXTy
8MoO88UGL36M1SXIM7c50XclBE8CIq+KBp7/bwNUZq+wbQosyIVRhwNJlGa0zd6J
jeFLbSKMRXVStJ4roUy/UNRUfoEzpZ9/mLKo8s8Vo639bcuIXX+EdLFcTPyikurQ
h3x7fV8ARve9QzbScvCrSHv/HYQlvL9SaybuVkoLOM6TipdzmLcpCCJ0T1kUf25b
+hLprKy/L91hnLiHytkOJFlm9Q1D1bi1roj4eAmOhvPIKwXW6eynuZHR0ZGAh34t
to3q+xabXxCMDRMz8YmJtGF8kui38fOpF8UKXKOtHu8FHMvc/jDxGO2dYzfDh8Da
mjNCdRtxY7L/nHsa5YpMkCaMYfSue/3x8sd0bC6FxP9NDKqZUeX4TCA2deMuJCzt
xLjAciVp2zD7ZETV0kz/SqYyT5N1NmYgDKjh1xaLeekrreyka/iT94AEE05LNUR6
NcOBgFFj8Rgu+TiUlqLut5uC09gFBPdcFepskW97CFGWdjB4jE8=
=ZGel
-----END PGP SIGNATURE-----