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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.0-3build5
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
 faee492c573b07b29e3fc56d8a806e838abee382 5804 coq-elpi_3.5.0-3build5.debian.tar.xz
Checksums-Sha256:
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 586d8d9c3a3f617dab4fc37baa7004b9f0e363c1943b770a8ae984302a0788f9 5804 coq-elpi_3.5.0-3build5.debian.tar.xz
Files:
 718c1c9e066e9ee421093bdad1665b3b 1132542 coq-elpi_3.5.0.orig.tar.gz
 43db28989834e5d1f9f6b678000c7576 5804 coq-elpi_3.5.0-3build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiU2MACgkQ808JdE6f
XdlwQg//XOAm6XR1NzFY/3sHRWSvzhtn2oQXvC4tG32rudU6fJ03fke4kA4MkNRU
fu6RIU25bCen9UcXGyU1pvpvoBnucKnPIvCNhgaXwNHQgoofSwWDwweQJLDhf2jv
BNFpf5d6l1h4Glr6DUOhQIu1j5ON8EJE6ne7AvKHf8aoCSAzUVJc1avnWPkJoMlo
ugY5I56kbZEn5JMvk2mSokNBpJeWHEr99ar5YQgPmzneGQwlTtBpC0ICQGoxwrQZ
xu0oLOrIw+sWJkpbkQtGPWi7diAQnI4cP5512b7fJwR5yJGKZyUl9TiLeIQYR+zL
D4ZZaPcbCD+jNB6g+BFbwqJrUwyfA0XK5tI2WFB9iWj5XWt0JMLTt+8OSRZ89+IA
3vWg0TuGlL+2TdebM5sku2126GWgQmxaHXJRRGu8vW/8XyqusEzzCOJHkRME0jXB
GDdHvYN+NmwKvXCXT07mQsjGEOnmp4SxqDvBuDZdSYwnmlWbO4DIvO4r3tsyFhJh
RWHr39BCHH0F5xniYHO0WFCOhxGnrTXzqNZQDdLCVvALZF+XQE5K7upRpsL9D2EZ
owD212M6GuHRKu9IJmzUn9cTuFA8wIQdTp09pXjlBoVAxjRZ8TGa6+XxTbhH3Vvu
Hc6I2sEtIpaeOU20xzqFDEeVeWisDnU+7j4FjVBpLPVybPqF5lI=
=JTMd
-----END PGP SIGNATURE-----