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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 1.16.0-1build2
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.1
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-ocaml-dev (>= 8.15), libcoq-stdlib, libelpi-ocaml-dev
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 f340c26af224a9c6844731bddc4b037a1ffe4020 426223 coq-elpi_1.16.0.orig.tar.gz
 f35dbc10633ee72400eb19119e474873d8e23f2f 3448 coq-elpi_1.16.0-1build2.debian.tar.xz
Checksums-Sha256:
 db21d73dd749290fa6ab858dc40e75ce7bde7b80724338580b20902bf05feaa7 426223 coq-elpi_1.16.0.orig.tar.gz
 6104cd5598990cc5792d43b20da9ba68f1c16191c3c63a0947e58bdd611dcf1b 3448 coq-elpi_1.16.0-1build2.debian.tar.xz
Files:
 688a6cb1b67db26b007a0cf54ba0e985 426223 coq-elpi_1.16.0.orig.tar.gz
 8db210ce3cdbe2dc4c1dd6c5a39adc42 3448 coq-elpi_1.16.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLsVAACgkQ808JdE6f
XdkhLg/+Nu/0x1EHkwmmPA4wTSUxEI0Ajts+TxHmBkR9qudvXNUKeCcdkCtzgn5t
2terXaRVE8EpG5Sc6k5D3aCJgWyvi7KorjZQdIcTOoFAt+ScZBDX6hRD7Yvu6da5
1em8JghLG7mIfn6J/JEUPT0tRxSTDoPWGG1PI3kgCciGbd5YAyPOalrMm5DImzln
P6IWlGtZVGwYN8gIGgLnk77W/mATawrHjpMaUo3IlnondVtPrhzrciKN9z4n4d53
vkYm3sB7HFGlEfZN8LQfGUta8ziwak4ncxb1QuByJhCAprOiiqJRDmQ2dTISEAbK
fwqBpDYO5dY/LM5V/+B1v7i7qBtCQSXr5vzzaUl6aSKW7Y4GKfn89LDIWmv/JpL/
Kn9P5KL37yCD6tsi/NNczhq34o4OSJPbzPHFacpeOWOtmdTB+D9tVXIc6C0cU5m0
/H6qKhIy57kueWXp6FLu402oGm5Xcm60jVIoVZbWTgQuvSF+UYm8Cp6FZ4KVnMDU
GRP69BRkQNYSR3IzPGXO87h1jb0BRO5RBHjyyVtaFxDCJQIfXbe/GkKMd5avAABS
mMc2Lx1QKJUl85joEnfvYftqqXo7psB5dMyJKvT1XyOowDBRbQm8iDZWo3gqrCkJ
hNHGnxL3eL/8qxM574lFeCH/kNvMz+vfolilMSVD9TOgWi0Wiag=
=58cB
-----END PGP SIGNATURE-----