-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 08 Nov 2013 20:03:21 +0100 Source: hevea Binary: hevea Architecture: source all Version: 2.09-2~exp1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: hevea - translates from LaTeX to HTML, info, or text Changes: hevea (2.09-2~exp1) experimental; urgency=low . * Merge with unstable branch * Compile with OCaml >= 4 Checksums-Sha1: 1d73c8973623be31f2738fb2fb5390c768c42ed3 2086 hevea_2.09-2~exp1.dsc c2b40c541bb35709afd16a574dd7cb880d8ba896 18749 hevea_2.09-2~exp1.debian.tar.gz bb9b490fb2a484bd261efb65907e837a835f421d 325754 hevea_2.09-2~exp1_all.deb Checksums-Sha256: f8b84a7904aab034b2b60fd64a877df4673d4ebf2b129ecef5966e4ca4ac9c2b 2086 hevea_2.09-2~exp1.dsc c16647960697d55bdc36cf572df4f01a538adfec8a49b3e4d1323472ab0960b8 18749 hevea_2.09-2~exp1.debian.tar.gz 8ed70ec7e67c5a949d4423912a82447df135402c8902e8ea9659579e31f49a76 325754 hevea_2.09-2~exp1_all.deb Files: 7b39d0995ae722b78ddd4b593627e021 2086 tex optional hevea_2.09-2~exp1.dsc da34c4627ea989e6c488a162d6c4424b 18749 tex optional hevea_2.09-2~exp1.debian.tar.gz 9335e52cc820becee0c93adaa7aa8dea 325754 tex optional hevea_2.09-2~exp1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSfTzLAAoJEHhT2k1JiBrTEtIP/iIhMWhvHIEvWYBop4jPlMhY QdTPgTtTBRHZ+kjt9K5KSCZ0lFGPvFcr7jFYwD8m1thWp/xSv/bn7RrA43dGKco7 oZSfgv1qkuIcjgOp0jjoGJmv1b1V0TPXwPG1wmgTWl/T7gJhI16UuARGeSiGG5zg mh/JoQ7OAAIG22agGZ/HfBc/eCaWK5gtmB/sedmEMsD9W1AZjKmhqyqGdlG9iQX8 Hq/067/C6PIbpL3PWddgylV12BDlWarO7CJ1xXZXOncNKxifrUJHIsqQHG8V+6q8 H2I0HgTz3bRYl74BXVoOft2SPHzbN9ta4B+Ej51eISDY3SR0F7BlII2z/Ri1tLQQ gE4o53/WxWcDuPGFadGWsOlmoYIBii04J4Wdf+CBx6CW155Z92fXS+IFX9gdclvp h5igjekOODTLZ6LvZcWsize5vajhWBJhE3/NaOs6e9KiXOGtAiZOGJ6BuSilJZoO nkQUSiadIaLioh2kol751qpNya/1oUz3dY/YCA2CdFo3iYpnh0b0mbcFmM7Jc9qX 39PcQL9+hZBV9Knp+6wjb+FBBQhLL/HKR411U88Bvk1iqw6XdT/NFfxmjXsI8Iwf TxdMijnSj0L6LDN1uPNRGqMwpa568C1KdPW1mYdju9c6uuSjnX8YBO7NEJg6BZGq SvBi6DztKQY+6KKsQaiH =6UZp -----END PGP SIGNATURE-----
