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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi, libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any all
Version: 1.13.0-6
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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, libcoq-ocaml-dev (>= 8.15), libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=all
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 8982605c73f1f7bd6f29dd27e890ae8bbcb98469 360052 coq-elpi_1.13.0.orig.tar.gz
 6cd11ec2c91a53ae65ba35b5c63989b0d66bad62 3032 coq-elpi_1.13.0-6.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 4834d2d7c026b4f704543b296ea06489a978843606364b027e8d3405529ae2b8 3032 coq-elpi_1.13.0-6.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 17c1579e302056819deb7225604ee72e 3032 coq-elpi_1.13.0-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJaYyISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2/EP/1z2o06sraOT5sfFUX30rAY21RDn2wEj
k3uuuvFpXYVuiKFq59atQfA1pvZui5HBdyortnBt4rN0qY6AbHddPtSJHLGkdxJc
apvdVg5CZNXRXwGEyt91Z1HpcPMramsl1dMP+du2bJW0RNLthkvXleSlZVfUq5Ul
lWYKQjvgS0HzvaMJaTQQcy8GBdI41PY5vItor8dD0SteX0sj97LOuBLpzLvO77G1
TLB4ANYvkC9SgCFpnhIsuZCctrgLxhSw7cTM1iegzlTWI7kHaBgdwAair3+ot7sB
BUU8RdacPE+IizwhYAGjO/p+jiQK+rY7YR4PW82AMzYVvTWk02X22tYwqu5n7RRO
KfNolTUlbQy1nAO/2kCumW+GUAWm370SJ0bxdpQnHYWmbbc79fQZwa1STXHilZ2l
AEQybcpJEEpvok3KNkF4IJfW+IjKcGKaDAjPf2ah2g2l1ANOO3UbTc9fLGtQPexv
LxdgrOfv7PS3Ev6sUR62T8MDJuhWZ/vY0ex02OygnL0R/3lB+YVqriz15LI1sNgU
MXjxMGMXpWYsfGO1V6ierKeRKjt0av9VIE0TH2k7xvrxvRJpk/sCq2xiAMV3WE2x
BVp+nETNzMje9iBaLyOOe7N6wRIAsmmz0blM/ckIEggovfvLg7CLrlJ76xQcfUnj
pln/AeR72yij
=cj5m
-----END PGP SIGNATURE-----