-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.19.3-2build1
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
 e2f1c0b2ff7202c34ef72a34cce651bff7de8462 3700 coq-elpi_1.19.3-2build1.debian.tar.xz
Checksums-Sha256:
 befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
 38ba60532a42f961f906c3d1e6fc86bb4d04a3cbbb13126f0d31b96397a82c1c 3700 coq-elpi_1.19.3-2build1.debian.tar.xz
Files:
 17db60a99d07ca13976b794a8205327b 571678 coq-elpi_1.19.3.orig.tar.gz
 2f6fb1c3d488b1e9a51fad6ccea9b63c 3700 coq-elpi_1.19.3-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/LYACgkQ808JdE6f
Xdn9pw/9H2xpeG/idGgUgRus75MuSJ3GNl5juC0ZqjVNJU06o/bxyNN8K10/NETV
NW7cFqxUqJh/O5+YjVN3yN25e/rHA3pcUO0qNvO83I1xIZzpIxJOL25P6JaignIh
2r/rmaWWInbfLWAPBJbT4jotBa8AFmKHHDvCK7n77lO3bHaz7upPz3nATzxZUzXg
tNNHA/cNqc8lkvq7OQe/91KsAnMwPadfs/itnuCos05Km24uFKWmFixcKRPuizFV
DEqdHcjrwQggW579mzZQH//3GD20dVgODwOSF4OH7AG9gT4akzgUq3sW7ujhXw3U
bi/NdBAxLdRCSOwMW0qzl+uc0Yk+vDW/ifLP/4c2YTMUJa15Vh6p3crxeei4Vros
bA5RVPCXvKZg9o1j32H3ES30UC6u/4zRnQCdBvWZuUXtIbGSO2s27vWR+su+KXWc
wYC3Tb/9mdAARK7vfv+JHd+0UxqrRwpvKO6+GgHLhID2ogyiwm144K6I6QiUrKYV
j7SrcUR80T54YPKocfjW8PI8ykePbgotb6C1Xj5WWuRDMZrkS7pKFhW763GgyDv3
0LWmM5WMKAFqGQObZW89cDu+LUyBkpyy6p8hVcOOuu/tRKvVzz4oQIUCrO0moNmx
5D3bdZaVcPcIgHGNbKPkzbiYZAu3pCQa4dc7YbCnZnH8L+m27rQ=
=9CIz
-----END PGP SIGNATURE-----