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

Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.1-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.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, elpi (>= 3.4.2), libcoq-core-ocaml-dev, libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, libxml-light-ocaml-dev, libyojson-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 0bdef6e389172e48ef3b47675a3eae99893b1e4f 1144422 coq-elpi_3.5.1.orig.tar.gz
 ed87b0c47c65fab4208514469f950f523c5dd29c 7476 coq-elpi_3.5.1-1.debian.tar.xz
Checksums-Sha256:
 473742f017730fae1406dd70e79c894bc08c9356e111802cfd3b0aed400961b3 1144422 coq-elpi_3.5.1.orig.tar.gz
 c92365732bdffa96ce561e3f9f077ca7c724bce8877aa10fdad853d71ce78b28 7476 coq-elpi_3.5.1-1.debian.tar.xz
Files:
 d732699b3c1a9de4ebed294e314ce36b 1144422 coq-elpi_3.5.1.orig.tar.gz
 b8c57ac183d834e5e1abeac520def13b 7476 coq-elpi_3.5.1-1.debian.tar.xz
Dgit: 5809a26ff61dde7359816204e4cddabb8272961e debian archive/debian/3.5.1-1 https://git.dgit.debian.org/coq-elpi

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmrfGSwSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBaIcH/jHwcvol8IHxyvpEH0CkwR6aJlghpp/N
47FXd8xEMdY/WoRyzQZB+bcYR4BPo4yFFSpkbQ4cGzE5jxEQJTezlgk7dpMipnUY
Z9Z13OGnZS5VhKJyrAeelBzV5GW4mM/mTrrkJR+d3BuwVAlVfRQqv6j+er0pFVY7
3IA6LzpsA3hJorsajU6tBFJRX8aApCtdeWcS32KL4pRQ5xQbNmKvKJdPd+4h08mV
aKGBJvOLmfLP2PTz2iSbrOA89nerSrFH7gPQiJXiKJUJXN3Ym9pKVRRv3goL0Tgc
ZVomrFcndjWs19jtox4CcxFjQrpe4WFWX/VBCXmg7/X+8JQ7pErjdpc=
=/B8j
-----END PGP SIGNATURE-----