-----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
Version: 1.14.0-3
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.1
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=any
 libcoq-elpi-ocaml deb ocaml optional arch=any
 libcoq-elpi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 42a67b1d280d76f894dcc0073095c4239fa75d3d 360407 coq-elpi_1.14.0.orig.tar.gz
 791f2b6740ffe55ccc19bc186ca807a2fd8c8ab6 3172 coq-elpi_1.14.0-3.debian.tar.xz
Checksums-Sha256:
 ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700 360407 coq-elpi_1.14.0.orig.tar.gz
 9a701cf653b864d53eb93428c913b19ebe2d0eafb58133e61f73d4bd8b63dc7e 3172 coq-elpi_1.14.0-3.debian.tar.xz
Files:
 755323c2d96e12728833234b92c33ebb 360407 coq-elpi_1.14.0.orig.tar.gz
 f6ab3078913ff67e84a179802b745eb5 3172 coq-elpi_1.14.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKXZwgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRV7cP/iKnBTmdn45duQ0a0qIwrcWfUoulzauP
MqyaFbWPVJM8r5jWMvzSLe3Xp7I3dlR1j6aks0/EIniW/rlEug9dKNwRpYOrbnpe
EXEVzx2GZ87MGVpwGhRiYDs9XpCZMiPc0JZtnt0ZxYo50+ZDG1RBN7BChgKCRAZP
BhhRRzaofbqD7jTV8Uqp2RAOOoIb7z8mGeKSrAnNJxd4fETU6EJ3ICy2WWeP1j2D
UU4ukgQvYIOp8QVvuH43LKETPC+x001vxm+TEH5XDgufYxxuWjWISng7V4jShupQ
lo9VDxhCWlHb9n3cWkmAGJ3AhBmvIqJojsz/vu76IfPh6OQMgN+lEE83dYVK62Qm
yHb1LWc8GZHr9s5K6B9WpLfy+B6k5KPZJBaPFnw+jaF4/JsDP1v+hcIKdqhDYid1
grpymKZf46qHgg48PvodyJHwxvEFY6Dp8fu0VEghxR0o0ulSeIZJciv+aauJVB13
s91InAYHdjOngF4obw24mDPgMJcuDiadlP2t/jAbDYKaclr2HtLry14Q/yVapIRg
FjF4GB9tF8YixV0wuQfVfYoeRtEtnFVQ6H8nV/1rGvaTZAHHuS8c+yrnfWV4IVl/
QRYgYcseW5GuNxEBJA/JYatD+W/+01fqTkAx0A7SKs79tlpfjZ3kd4CNqjr7Vbqu
FYdgVHo6Uvy9
=DNbk
-----END PGP SIGNATURE-----