-----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-2
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
 8475564bca6ccbcf7b0e4a3b74741fe731e9d8ff 2812 coq-elpi_1.13.0-2.debian.tar.xz
Checksums-Sha256:
 7fea00b390d76b3cc50e01f571ed17b171e0f4c79a3bfac7614591d553fc1047 360052 coq-elpi_1.13.0.orig.tar.gz
 64e2ad30505ca11398ddea278fdd5051164c8a6332d7c5fad79b9eb6cbc910c0 2812 coq-elpi_1.13.0-2.debian.tar.xz
Files:
 2c3fdb216e98c32610a8cbe6234d4e7f 360052 coq-elpi_1.13.0.orig.tar.gz
 6b09fcc1a8141e4686c7ca2231d2ed91 2812 coq-elpi_1.13.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7kEASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqZQP/iKl0uv5CRMe2kuYMiryFcMNuTap/WlJ
Nbo/9i+sHjst8Seujk0MN5+WymGmDldsxgaHvAjrfUQ2vWt1fPHaCm7Z1LC9AkZL
km0bu9qmv9k34iIhH+IqY6W4WW3lWpNrTNnz8JTZy+RHs0vDWpUR/YTC22zBZmQD
KXgX6T0o9BbvtuGmO/QKjiXUcQ9TOwcBa3oBdpQhqql0rY80nKglJdWUgJbZOLd+
JzXCk+Fr2dSmRBw6utTkZZAj2scd/ayFZ6qKsfU/2xwq3OwLQ80WjFB0rZoABShf
n2RI2v3OCFPs3HEo1Fjc8zIjNdTfIKsYMNlGb23URgLEMIDtY5B8BDDvwn9Ti9iK
Un1ZVX5MmjtUPSor5gyYYatrI6GlIZNfStQ7liB26FSGtZDeF4OM6ndfoWLSJUnZ
4roU6NOH+ZVNspD7jIWFmKWZ4hwvgnQ9+hTHnhGEtKpaflrlGYQzl0ujsEImSrLZ
4PvEzzyYR2Oxe+j5RrIDBAMYj4XjVSpdCKMYbOjXQJnn5KVpav9PH76hGXHOWXUa
TgLYzxzzbGm9Jetjn+aYdxD338faKqEqDABbR6XefxI63lpiVBUGfSyGGuX4J5kZ
uckHiUPmIdgIh4FclUgR7OJmIYfhePLwwHJhtWf9r/UooX1x/yrvqkcKmYNPvC//
Z74dCUMwHiee
=BQqE
-----END PGP SIGNATURE-----