-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: advi Binary: advi, advi-examples Architecture: any all Version: 1.10.2-6 Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Stéphane Glondu Homepage: http://advi.inria.fr/ Standards-Version: 4.5.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/advi Vcs-Git: https://salsa.debian.org/ocaml-team/advi.git Build-Depends: debhelper-compat (= 12), dh-ocaml (>= 0.9~), ocaml (>= 3.11.1-3~), libcamlimages-ocaml-dev (>= 1:4.0.1), ocaml-findlib, tex-common, texlive-binaries, texlive-latex-base, texlive-extra-utils, texlive-pstricks, texlive-latex-recommended, 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: b9a239ccdfccb3a8f726d140e703aa33c9afd350 9772060 advi_1.10.2.orig.tar.gz 3463ae180534953613c124ae11c59a7c7a30b948 27016 advi_1.10.2-6.debian.tar.xz Checksums-Sha256: 01556d20896db57c1d05961b2dd48a44d2fbca2adb10d4a9ded732bcf6cb0cc6 9772060 advi_1.10.2.orig.tar.gz fe1ee888863252b4b7f2454aec4490ec0b9f850578ed66539c0f987fcec8c104 27016 advi_1.10.2-6.debian.tar.xz Files: d1de5f4ac7bc680212435ccbe0f2d055 9772060 advi_1.10.2.orig.tar.gz a465f759659a9451887a3b4ed748d9c7 27016 advi_1.10.2-6.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5Tfo4ACgkQdFxHZtTK zf8eCw/8CkukwPjtaOHStMQFD1H0kT8TNYsIQ7zmgLHvTOX8tsnriFRQ617DdZvo 59SG3rSZwBUz8NW6Ztogv7LwUSX1VonVGSXQjiga/p+7+kgdjk0QMADFqmFHLklG mm1wnH+mzik1SCfuI72EFZoZf8mc5u1AkbR2w5gOkPvZFFZ7+mvQAlMYHAnW53Wg tEa1g+6WKOaK1VRxLSkVrxc4nUNKG8SAn4sLuuydUMzPeI/i/pHaiLhPTuavuDF5 dFfTXklwALsuF8elVlwG3j45ORPf1WUXskA+8YE+lR41UUdmIX5ws0d35PzycXPg ylxIImu7ut7p04bYWyg6EVfUstzSLHuJbJl6zARVzEd5W+n8m5Ko6zhM0WgtSspS HjHGhrzBLzAOKs6Y4K5JCSE5vl8QhJ5MprkwAwWXrTrHiGSBHwROxIKCeeZdZLS1 Bg4e5u07X6oyh3zQ0cJV2jHUXim3wDFTS+uQmisJyCjBzMt/Oy4oZIWNM9g7Cz6I 2amSdOWmiS/ZyOq0l62JwqaOJ5Jd607PskB9DTKNRi3Mht6L4NGI6OtuvW7gX7Q0 1z+LiZenKWd4pWhkjZAoRjSwWGNJFDzYYsV4FdZZ6Zzp1F4ABPaOYwVUOIh09dr7 Fcfi76vBGk5PoTfwPW2yvafueJLP31Q4kvZHv+rCf0fcZuMa0tk= =upIx -----END PGP SIGNATURE-----