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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi-ocaml, libcoq-elpi-ocaml-dev
Architecture: any
Version: 1.13.0-1
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-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
 98ae9ca6994e18612e07ddc1c4b54a9eb88ef6b5 2584 coq-elpi_1.13.0-1.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 633906994ddd7a134fdaa1ca70b4ba38d4d23ee5901711f5dadb1fe872484fc0 2584 coq-elpi_1.13.0-1.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 e99565f0ee3af9c986946ad5d90b19a7 2584 coq-elpi_1.13.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIFBZASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRV24P/1AUq3xsfK/vV448TvcTWtME6P6fg5YW
XiPLykmnXUEBwp1dS8ah88PZQaoKp05ozkU1uVdVBGTwV6d0J/3EXljzuepmurdg
Mo4MW7FhuqSVW0ekdBqWrb96nS0qmCRH3jBc+t1wTW7XwLE1PqbY6H4uWGBVCwwh
NRTgzBlG7buKrJyJgCW8Jpu3YMpLFXkHLnj89h19/Os2SkwgQZTrGuLy2WeS0gfV
+Wqqet0LUpidjZx23emfxmMppYOWuk1QEc2SrK/BgdN8+xZGVd2DmclbDiLR+mH8
CMfYgHTf9zlmpwzDkFJAqvGTPOXLFUWCraoTqrkqow5GF3QjKlFwEFV6IIDvXJDw
9k/PIBDO7tHzCRP6PkXZuOSk/IuoKtR1oX/6xUp+mM9vhkjqYe8LwoC1NmiGC186
SgdaJp12PAxFR87oGZ+wnaiAYq4omHiXZenA1bePW8FKEbswn032+4uGprjzZ5ZX
CpxqWT2zX0MEjNQm9FgsRiyFkNvqUagaTnwRxfo8MZcb0cgApbGYh1nj0EVc482W
uC9St0kiW6RN+cKQxtc6fimxxaEZuM5Nk3vO1tFkMEU/lpP05qjo8zgJnvuneA2N
PO8uCcNYcXu8B3U3irVJsZQVKCg/w7ehJ7b2HMymCH3SpmX8g8dolL+X/+f+loGZ
DYS1LLTDQP4l
=KLjs
-----END PGP SIGNATURE-----