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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 2.2.3-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.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 bb783ef32a84bbff20509081767d0ff41b556705 753938 coq-elpi_2.2.3.orig.tar.gz
 35e6d007a039dde77cec28a5a2ea1e5f439ac51b 3720 coq-elpi_2.2.3-1.debian.tar.xz
Checksums-Sha256:
 3166d098ba4a05bdb7036a653aa1793ab7eef50830e37db3d73f15a4faa64cc8 753938 coq-elpi_2.2.3.orig.tar.gz
 78c1321f338c50db2e2dfcbd235fc2296333764ddcb7f31bb8b4ab7ae43292fe 3720 coq-elpi_2.2.3-1.debian.tar.xz
Files:
 90e6b8d2397729b5d1725fed35da8cef 753938 coq-elpi_2.2.3.orig.tar.gz
 a29307f9fe836f510a64c1ff330d86a3 3720 coq-elpi_2.2.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9r1oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBPkP/AnpTCONibzR7Ul5kewDCbASwATLZIiq
hwdrhYhI+PwuMoWjp+6v3ZX4xvm6Af6CdXo4T4p8+kCOt9KIL91Xg2mvRS0RmRRm
Q9s6SjeYEnl2rU92YsdtACUIdmRr8CX9qECTvXotZnRqECqCMqWlUKUCats1+9qK
msSJD6413wlcHDeMvTypR9JvjW3dR1TLmnBogwknKOdrKMnADygsrxso3QHZUVqD
lWAnq+dVWHK898aKctmsSjLhYAvqii4qu4QzpUFPd0En9EsCvcxEqB4uG1p60gXN
Fd12KMHyiCR5gJSctoHjRcS6qVd6SHEgeCkjiOhNskRILgkU0ytLnaTUgKC3+O6U
+qT1RPUfa0is8sCkGplBsdfxe2ZbcVmKzQFappx2v8mt+DYJ4lFP4LR2FCiyh5nq
NUMG5wWcWQyg7o4Gi5XktZ7R2b8FgR65XRFAhRlbdRe4hWjUiZq+i6F7AWr8J6FK
Dpcqt+6y4dUPmJImNMmvk4WWD/FqaJHJ4Bp+v8RtW0w+ZyWwnJ69vCp2wnV07wCA
VJwkLZ+TsUvp+jhQmQbPeQuEr9dOON10d3zGivwrURVlAePN7f5idhHblsa7i/qI
HmfGAq6d09KzjvDXoTAS/xOldRg8ckNb/zsZNGhrj9wpOqRx/CRJWJ1j9nK0ij+V
OC5+rwbu8Ve8
=HJaM
-----END PGP SIGNATURE-----