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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.19.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
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 2ebf0d931c8083349901f90234aeaac5e22d616e 571678 coq-elpi_1.19.3.orig.tar.gz
 b667c6758533704f789838a47f40df7ed69d43ee 3108 coq-elpi_1.19.3-1.debian.tar.xz
Checksums-Sha256:
 befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
 9773680b529e9ba705f1dc8c9141e5d97b02edf8dc8d0ce44265aaea57375989 3108 coq-elpi_1.19.3-1.debian.tar.xz
Files:
 17db60a99d07ca13976b794a8205327b 571678 coq-elpi_1.19.3.orig.tar.gz
 be756cf889bd9c549aafd143d66208d3 3108 coq-elpi_1.19.3-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESpMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHhUP/3P2SA3IBSucPjRjDb9kQi8yxd3fLFJ/
H1lYsyCXNnhBeLzAFaLknQ5Gap1J955Ptb4Xn1lZ2jNjNk7HDfHl1HRBrOEkZjLz
WW3Q2Xd1PiVXlfdqTgTee8jzO8RvGnXvxNJ20w6IzgymgwdnZ7RqpeAogbno9uoh
OZ67tGCrsZNA2aUgk+q8hhJMM6KJA1oRr0nZrXKX9sixcjYSoDTmmz3OWfm/kMmH
mPsBrE6yD4uEUXmobZHJKy3Jf5cCwyntsYJHFZFa1CmeV1UcB+hMTNKrGKT2me7+
20L/7y3uZxN1RLCzPbaDqHfiOrwdKYjR0cD+57UC3qNlGWANDQ3IojwTmGrpMKlO
tI8K4V2gAf2f9PxWLBBPjfi24GSAoWmethJS/X6/nletBoVzAwhbBfXKhAWy0wnc
52dmeMHVO+Uiu4nqf8d0+c8gEB0tdh7mnwA/ePmiE8jJ3K38xCfxpAahm69ZY4PV
yRzgOXon32mejy8ugdJs2DaImBNR2O1kP0Phf9+/VDUe8vIqlZta74arxnnPDq/Y
nh7BTATRAB29NlrUa3bbtZ2P4x5egOmkscSRY2+EgW/lj99GglCBKEuLG3/bQoB/
S84UVE/pKZXDRYQ7GexAbAH3ArdXvH2e/RxkKMjtxqy0yCI7pF8hk+fuCyRTrP6T
Cm9Mu6t9E4d7
=owEl
-----END PGP SIGNATURE-----