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

Format: 3.0 (quilt)
Source: elpi
Binary: libelpi-ocaml, libelpi-ocaml-dev, elpi
Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4
Version: 1.16.10-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/elpi
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/elpi.git
Build-Depends: atdts (>= 2.9.1), camlp5 (>= 8.00.02), debhelper-compat (= 13), dh-ocaml, gnuplot-nox, libansi-terminal-ocaml-dev, libatdgen-ocaml-dev (>= 2.9.1), libcmdliner-ocaml-dev, libmenhir-ocaml-dev, libppx-deriving-ocaml-dev, libppxlib-ocaml-dev, libre-ocaml-dev, lua5.1, menhir, ocaml-dune, time
Package-List:
 elpi deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4
 libelpi-ocaml deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4
 libelpi-ocaml-dev deb ocaml optional arch=amd64,arm64,i386,ppc64el,ppc64,riscv64,sh4
Checksums-Sha1:
 4de9f6e945eb799519cff35515fcf94302115efe 2606110 elpi_1.16.10.orig.tar.gz
 dcd0bbaa4b62d97aeded91c97e7eb4de548a2494 4244 elpi_1.16.10-3.debian.tar.xz
Checksums-Sha256:
 c24413b51fc6fcbfdd6e0ee907608f8eee02c22ec0cc38c42ea15b9ee436bd4c 2606110 elpi_1.16.10.orig.tar.gz
 3e3aa459775050f2f066cec0f5d6d4b3260c8af292a091ffc1e904f2fc25ce0f 4244 elpi_1.16.10-3.debian.tar.xz
Files:
 a5375b0243db584a220afb97a75b3a66 2606110 elpi_1.16.10.orig.tar.gz
 12d6611dd925391ea3df7e36b347302a 4244 elpi_1.16.10-3.debian.tar.xz
Dgit: 5c1e40a8902b7577212747233e05fd664eb55975 debian archive/debian/1.16.10-3 https://git.dgit.debian.org/elpi

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSugI4SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBBokH/0AZSPQ3kUegK73GwVGL/PdpnW6b40z2
7ZvvAc61joup/2SRPtmijHUslX0BI2nP/08kr8XsqMVjI8ZqqBy2Bp49J2PitujV
cWCF46WQ8+GoTwcBWTvykblP6M7JDpBB4V13zdouyAnLm88IOck9zMmoDUqAhnHz
2IQmHJ8IHWMgtQO/yBn/DUEdIOctIArJ31aCc6UaHLybr+WqNcOC6mhfyqbMVXNk
FCAfq40DIRWclIYUFkDXcAw15ScGOvaaz3mPmr65ZextA03U2nrQZ5hRQd+D34dK
3KNmKLnWY/Am/xsGSJW10lbycplPpxfj8SsITbIY7UrbhI2uXn8I2Ss=
=NILd
-----END PGP SIGNATURE-----
