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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-3build2
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.4
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, libxml-light-ocaml-dev, libyojson-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 0735f3d605062f8ed56cb91ffc17636741466f7f 1132542 coq-elpi_3.5.0.orig.tar.gz
 df8704e9f0cbe98cdacd21a272d3f6f0f02f934f 5776 coq-elpi_3.5.0-3build2.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 b791602479815e16ac230f905f7ddef68195400d55295939c20c0b5cf9cdbb83 5776 coq-elpi_3.5.0-3build2.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 2afd1ae957059599768f6aa4c1d93e9a 5776 coq-elpi_3.5.0-3build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqQQo8ACgkQ808JdE6f
XdlYeRAA0IeU4+7GZmUz2VkYqHQHBqfWA5twNm7r/pDcOdZok4TekNWOERWYJva/
Ry+wrZKY25IKaOtZKBaKsjOyDM5siEdpWhImoNOnag9+l4RjilP0X3R2QoFLrGGT
+S0xb9xxE9NDx16pNb36LH+2PDx55QMoFj/YqzHwZRuRajvsGSg5FRUk0AqOXUgj
n1OjpSsSsmAqsnnWpCtVS2TWWo3nGNrM+lTGCorcEr8VlmLFhUggMn8JbQVpQhJD
uYSKiu1Is2i0fvk9qcSKYbV+EbyPjLRShxtAIExcIhC4GQfrrKs+84OQyIw/BTKM
t5vGQJrBJrggjSYmtK+E3l2XcyIbZk62pdo7sy4TT7IyTEBNK9LQ0FYP3bmUcUu0
H5iiq2F/8BHLOfbaW06cqOJ3ena6g3GllgkkIVX2CdNf+6L1fA6ufwg9ztUE/bk3
IN8PsQCDiqPqJfq6FGviv5zl61IsMx/js0UNtRdWYniqGTcck39P/Fmt6uFzuVch
ZwTJM2CJ/sSo4iUDDcT7iZbWi47GtvS43c6Kf5GdmADte6LZ4qkfjNxNpEDtFqKf
eS7/elx0sSKj5LaElokFxXmpfRPsq+Hfa0BUDzB+xtt1BASkKxh5xPRcFSGG/jE/
FDMtsZgNJpaAzdGmsVB3bsWdequVaWyTL790ApwMHamO3GoWJJc=
=2pnM
-----END PGP SIGNATURE-----