-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: advi Binary: advi, advi-examples Architecture: any all Version: 2.0.0-4ubuntu1 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 5599264d5de24e5126a272ab4f67b4c7b94e35e3 22336 advi_2.0.0-4ubuntu1.debian.tar.xz Checksums-Sha256: 7340d01e5bdd7a42725c2c66478f94b7f9e3b680b39aa5fa84d6b336ff0fa414 8642993 advi_2.0.0.orig.tar.gz eb6376c316dd69ffaaa1ce524f16bf9d66dc03adbb3c987cb36e01eccf090708 22336 advi_2.0.0-4ubuntu1.debian.tar.xz Files: f0b657b612ea65d375295779ab6fe31a 8642993 advi_2.0.0.orig.tar.gz fdf17d94a8c281a828810206ee244bdd 22336 advi_2.0.0-4ubuntu1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkwQgIACgkQ808JdE6f Xdmc3g//RouUyT0n26/wICE13gh1lts1qJsxcOP2nsAf+cGfBTqHfwfHfH8Shwog kJIg1Gq5Sq5bRQ9Wn9CHHRdAi1/j3U+aY+eaFc1u0e07nU9sGf865Rw5Fkomahtc krYOY4GkeB+dMGAN+3ed1Ilzaf9M0PtzYSsP3F0GlBMz+59pvWJ6PSzIrEyUWjmt lC9GtIPF6xb9NkGn7zMJt3QiYv18MHKz8HK/NXG6NgXHYmR3o/+jx85G9gnPQph5 3Zw+Sl0Rpvi3Uuse3i16squQynUTiDA7ZCtNrLrEOdude/4fLTL1d5xyADNwNbmE uwQAK9Xk/PyMJqFLW8ZwuXkEwfFH+V3nXqvZGwQvcCV5a8QmrgO87517f8PID5Mg GpFETVaLtYco7A3FMtueGImBVA9cSxpwEFhysZxhTFXyuTs92IdGYWesCqNPnRZl ngHXVpX7QTJ4tBHD/WKs+XPz1OHfdf5m0grQ/gtaKiyGfIkyeLvzdhuI6JRizQYd 9h4MbtqDaqRvbzhKmK3FyFrNO1mMx6gvQk0xNLVW5d0ulTrdpKp6XV9bT31lVWYr ebIwZq1BnLRwUvmhfUytHWKqXw+MpOQvvtg4X5bKt8Kp6k6HpQAA/FG2WGSTJTYu eH1b279mAJvVSacSGWW9WRTjS10tjQDt9c6yMyRU0vwgtdgboYY= =9SEz -----END PGP SIGNATURE-----