-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: advi Binary: advi, advi-examples Architecture: any all Version: 2.0.0-5 Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Stéphane Glondu Homepage: http://advi.inria.fr/ Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/advi Vcs-Git: https://salsa.debian.org/ocaml-team/advi.git Build-Depends: debhelper-compat (= 13), dh-ocaml (>= 2), ocaml, ocaml-dune, libgraphics-ocaml-dev, libcamlimages-ocaml-dev (>= 1:5.0.3), tex-common, latexmk, texlive-binaries, texlive-latex-base, texlive-extra-utils, texlive-pstricks, texlive-latex-recommended, texlive-latex-extra, texlive-lang-french, texlive-pictures, hevea, x11proto-core-dev, libx11-dev, libxinerama-dev, zlib1g-dev Package-List: advi deb tex optional arch=any advi-examples deb tex optional arch=all Checksums-Sha1: 5e7696860c90d90efb42c22378d8a17d29ce9c0d 8642993 advi_2.0.0.orig.tar.gz 20e51229ce1a32fa7917af627e1e7c41688f27db 22384 advi_2.0.0-5.debian.tar.xz Checksums-Sha256: 7340d01e5bdd7a42725c2c66478f94b7f9e3b680b39aa5fa84d6b336ff0fa414 8642993 advi_2.0.0.orig.tar.gz 1dc9840a527d05673c564d7468f1ef528e1ae902a5a6609a6fd3405f7680e234 22384 advi_2.0.0-5.debian.tar.xz Files: f0b657b612ea65d375295779ab6fe31a 8642993 advi_2.0.0.orig.tar.gz 8f9399de52e4aa674280daa709c87ece 22384 advi_2.0.0-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlc1RAACgkQ808JdE6f XdmMVhAA3yEvzliMvMN1FVoj3SP+NOFP8dLS1LqNwcx/RGnfJQZVqwIuiLhCpifv MW77grnCBim36IlsAMiz6d3NQY+3q+pHVOE5Ixcl6IIAP6XEnSjvbauLA8pPHeKM AJjaiLpr9VDOX6p5H5KgyCNDmVCdjeHpJZqLCuNPGOn+Lni9tV1iwlpjQs1vpICt ID4ZcALm4GmYJzmI5nClVngDzOsqiqLE9MssKF1xzsi3AIU/h+sS5GT7UzO7uedg EtGoOt9fQ5TeEpIgU/2Rtxt5KdSHD2RT2e5cdlEgU77rEw6/GNOVBOWLzkchTvZ5 /uQaAD/SHrVTyGalp/U2aAwJ+/spdB1nZOa+nUIVxPza+gSMBNA4yQU3+mqgt6Ze YMj/nR5GiQiSacC8StnUpE9JuDFtQd3ty+Bzvs2HHCCvtaHsUnk8BM6CT30/Q+QH hKBPeJq2rNeS8LxDk0H+Pw0Yqeb+yQpHeMy9UqLIk+jutKZN3H4Tt0I2DJBGhL7h TfVVxWSKgjZc1Yk9GugXIubZhmk0DHDinhq5AZKXcQfZ0TunFJbSBhC+jhXAhTO1 M0M50NmfYsLIM2CZShz338piBZGc50LwsT9cwGiuRI2EPwMEd9CN/WePaMnQ4rDJ tQ9xOP7kheHgeQeSMFSmO7MrtCTuLQMOUjcqfxKz5ZSYTUN8dEc= =SAuq -----END PGP SIGNATURE-----