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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-3build3
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
 a0f46b515193bb77c20b789df66f2d436502d6e4 5780 coq-elpi_3.5.0-3build3.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 f5e97d6b2be3f6227c476d0ae9dcc8b32332bfe767af98b6867dd6382063c8c4 5780 coq-elpi_3.5.0-3build3.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 7ba29dad9f2b1da19ba3436cc88dc2dd 5780 coq-elpi_3.5.0-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqT0NgACgkQ808JdE6f
XdngOhAAuEJROeG9yntPY7+fmth98j3VMAWPEFzbL6W61HEr0Cx2xEAGv6I43Pj0
uCLCvFVMt2XRx1BDgE4TIBR8ZOiV0lJDqhPjaQRXSbrXuTHaASgVj7Apk81tCivl
vQgOwUFFKzmNvZImgP0hnaR2tSk95B8Y5il7BVWUY0fcf8bFz6XSU6QczJ7wGPW3
lJvSlbdqNMNWoaeQAkum0XL0J0LOSjsBqT9HJpGuaSfgRqvIFt8yxlLj8mbdoszm
fJHP/o62v0qgf+oHh/xnfPF0QWOR2tAqa0p+oV81EfEWLJ8HL/pe1dXpJBaRsIo+
RQatEtkAe8IoDDPJrztlrm/8OlTwzx9dn//G1xbpmTlH5mZe8wOL92xtJpbSIp14
6S70yD59F4D5ZwiklhSRNWJrwZMWOLRnDmwvtQ33MNoneG5gEVy7lH7IAix34GpV
EIdhIXg281IWoLeItY6iBufQEc/HdRxKHGwC4wlBib18PP49yz2PIYRtkpC3aC6s
bhyovMh1fgDXBejHki+KCej0OTcHCwKdactPh4suKRTwrcR3wg3JicM4ZoGf52l2
FtCGMs5Xmh1aGQf42BN1jrXnC0LEPowvcZdWVao0xCZhYXc33kXNc8x/oKBximuN
jAJEHGQnoEmtlOhngHxxWuSQzwzZP+ePrXbpTKOGTO0P7xca+Y0=
=9EI3
-----END PGP SIGNATURE-----