-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: advi Binary: advi, advi-examples Architecture: any all Version: 2.0.0-5build1 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 3932dd8d21b4242ad84319005aa52077a24d43f5 22436 advi_2.0.0-5build1.debian.tar.xz Checksums-Sha256: 7340d01e5bdd7a42725c2c66478f94b7f9e3b680b39aa5fa84d6b336ff0fa414 8642993 advi_2.0.0.orig.tar.gz 278f62c79e8f96c3ecfc22850af3abe82f157d92d6c04d36dae94cef1d5886de 22436 advi_2.0.0-5build1.debian.tar.xz Files: f0b657b612ea65d375295779ab6fe31a 8642993 advi_2.0.0.orig.tar.gz d71f4657d6d4393e1f7899e28516238f 22436 advi_2.0.0-5build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpMKI0ACgkQ808JdE6f XdlX5BAAki9LiZuRo6rQMhsaiaCp17ctohW0Wl0yo4TxyO14bCbVZooV3lrGz4eS qWL6QIx8alKtN+plT2SvpYWfNL7ByjRZAOKmyi9RBOvkcGhrNkGDdKnqPCOn5Klv aaEcOwVAfEofTIXzeNspcYH0Pb/+ncancYuz0ptzAo7oLEyu4iF5XY4RDxi+i8rs BcUNwPxfGeMlW5Hu1G9tclDHTOmN59TJ4cvvWSMMyKswdFSBygQbXNT/FfeoeGul NeVIA5vxZQkTfWR/qGZ/diu0J/JJBEtVTdUWBkLchsJc2xG23k26RLq0XEP+qAYq 8ZWkRho5yJiOaesq3GmLkvT4AReytx/8VHXLLdHIKCyvzzKc6gCMQetJWwcZ5U+P VCWf3Fl0g+6dTeq//i9I420NUUjF+x5PU1JTXbt1E9/1BE465TO5o9+m9ctlX7uH k47rLuyHgRTr7eHvx+wWQ3CzSUNzCQwKcDLV4HmMClyQQATIvNrxcW5ZAlueYOZY A01ljo8XkxPcToCI/L6FlMKIP4XRZQ1Zyexzzb9Hjs4W9RhRW5Nxx7dPhlZwuTAc cw0Oto9XvafwyA1/lNIkWa2SfbKeXF/0PX1zXNRpDJoC8bxo2Mc/bdBFcQ3mivw3 7O0QqkV5tqAZDkUUIDMkMpoQmnZeR56sWEyvqWpxwalcNWhKzbY= =dDja -----END PGP SIGNATURE-----