-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: advi Binary: advi, advi-examples Architecture: any all Version: 2.0.0-5~build1 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 209ab9f802f707986b2b7ede3e8b2f29720d6687 22424 advi_2.0.0-5~build1.debian.tar.xz Checksums-Sha256: 7340d01e5bdd7a42725c2c66478f94b7f9e3b680b39aa5fa84d6b336ff0fa414 8642993 advi_2.0.0.orig.tar.gz ce9eca41684eaa72a6e8144d846cded1bd434181a496cf787d4042393d9bbe5b 22424 advi_2.0.0-5~build1.debian.tar.xz Files: f0b657b612ea65d375295779ab6fe31a 8642993 advi_2.0.0.orig.tar.gz 6d26f3739d914bd9299ba11fbdd2e2b6 22424 advi_2.0.0-5~build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmlc1XgACgkQ808JdE6f XdlKMxAAkbVQCqHlVAMmcA7MTRaklAxdx2xMAdmC3IObQpuXS+JcTJzTWUZ+Uvge ezfu+uKu2gEBpOPXJ451NEqHMU0arHW+yai2Qj3AIY83+uKMyXULPjlmE01nS6CY SbsX8O86S/eWddzS6b+13zK//R1aTl0X7B1y49t8xZ7WCl3CwdJWgBYP9wPnwA1V cgl3LdppN8JzVAqR2DMr53AkjScxW4cQ4/nMDGdLseuMs7YMEgvtm9fjFVqKc/Ml 3J9sRkhZjMSFp8V+rUQbyL/U/eHQCymYPFB9YFxNsumK4fia6NljyI4rqzGRQjBh 8kJkroKfmWpaTQN5RClZvSTMnAkCPRBZn+FTVNQk/yiTKio3F7k+LpxSBltS1BZW 9TEftFC1Fve8zJTXCAV985Jbknmx9iJ+s5Fs6LNXBMYC5pL1MxwbCLumI1oNH/g+ jHp5Z93Jvv7T3F2FTiecaACSdSPNGv8EfD2uZAKXPGRpq210FTjd+e7I8CE7OxMo IOymjxu/XHmkxlbAtwuVrQyLLnXnWZaNhq66H1XYGe2NPIXnFY6Qh0lvfwGKr7oM Qmf1kBaqTk1TblwbGhmEhktDyWGFlS2AWpBTFwUTm6LPW23Fh0+83qWo3v9LIXxH NPNqKVrdH2k3yVRLjYWT6O90usKVxQLY7Fw+MMRSVnfc1zxBLbQ= =jLt5 -----END PGP SIGNATURE-----