-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: advi Binary: advi, advi-examples Architecture: any all Version: 1.10.2-1+deb7u1 Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Remi Vanicat , Sylvain Le Gall , Samuel Mimram , Stéphane Glondu Homepage: http://advi.inria.fr/ Standards-Version: 3.9.2 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/advi.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/advi.git Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9~), ocaml (>= 3.11.1-3~), libcamlimages-ocaml-dev (>= 4.0.1), ocaml-findlib, tex-common, texlive-binaries, texlive-latex-base, texlive-pstricks, texlive-latex-recommended, texlive-pictures, hevea, x11proto-core-dev, libx11-dev, libxinerama-dev, zlib1g-dev Package-List: advi deb tex optional advi-examples deb tex optional Checksums-Sha1: b9a239ccdfccb3a8f726d140e703aa33c9afd350 9772060 advi_1.10.2.orig.tar.gz cd8a0507faa28d6c4e44ad828ea52209ab41b879 22625 advi_1.10.2-1+deb7u1.debian.tar.gz Checksums-Sha256: 01556d20896db57c1d05961b2dd48a44d2fbca2adb10d4a9ded732bcf6cb0cc6 9772060 advi_1.10.2.orig.tar.gz e77f817d28d15c99fb18a027808611d85b0045b2a3e68acffffb5f174282d5fc 22625 advi_1.10.2-1+deb7u1.debian.tar.gz Files: d1de5f4ac7bc680212435ccbe0f2d055 9772060 advi_1.10.2.orig.tar.gz 7c657cb6edd854f313374007b92b684c 22625 advi_1.10.2-1+deb7u1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTRa0DAAoJEHRcR2bUys3/OB8P/Ahm2Ft0ymYdYjCnNz09fUSD oTXtWufijxsdMLPZlfDYkjFSOFEbUPVcWXEpq22QeKYnbsBwMCXJiX6rOuM1/m+S XC5YIQuICoHdN2VZScVAE0w2kgDj53IiDXQ3xAESCdPpMAWAvlVilZ1KWjprO7l1 WOaFQypSZ4iD+DrwqMKtLCT8+vfpuKQtH2Kptmm7PG23+BQ+W8m9Y8OSQnwyV8vd 1gYADuIMPwfjKwwCQUtB2btkz51BJdIFcoHUnQCMwbudvSF1Wh2JTooq0rc43ja0 e3c6fVxfsmegtwqH7DfdL7GT6ri0k254ea2FkqdafTqw5Yu+HYc3hF89SA3MjPDp IognGNqbUeasgSlZNMKu6dr7eTcxpoJ2CmM2hMmC/Y/t47m9G1FoO8UAv3OXTGkw 8PaEVdldOuJt0ZOdh1t6obNS06+meIM9rIo1t0g0lkj43OOdOaWgHpXYFQDIeImO yvuDeTW6x9fSpyGqUjahZ/sYqSY8ACA0+3FlubgSxak3plJcaY1VRf76CQgfXbuG 4fJrmfh3FekzHAvkwQf2HWbSCQfY78oK/B5t2l4Nj5k5rL9BfpsMBkEsuQ8Ge3fY p0PDUJHHaRbQAc66KFq7jYRAu5jaSiqHOYvPoo158nPlHVat0Lv+fSHEdAOyePcM O35sccvzOwZARkcboZnV =Dy8y -----END PGP SIGNATURE-----