-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 07 Nov 2019 08:53:19 +0100 Source: hevea Architecture: source Version: 2.32-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: hevea (2.32-3) unstable; urgency=medium . * Recompile with ocaml 4.08 * Standards-Version 4.4.1 (no change) * as-installed tests: replace ${ADTTMP} by ${AUTOPKGTEST_TMP} Checksums-Sha1: aa5bca5ab85dbce978afac1676a0e7ec9529a643 2036 hevea_2.32-3.dsc 0d2b88da17fc946800ce3f3e178683df668b4eba 18948 hevea_2.32-3.debian.tar.xz c1a2297c4ac849f37e16effa81e0eb4346644cee 5761 hevea_2.32-3_source.buildinfo Checksums-Sha256: ca731f53499c2257c4cf76e67c0978484cd828c03664ea703b603593aa46300e 2036 hevea_2.32-3.dsc 3cdb733ae8efd612589cfab7929efd8c409b5c1833fbadc243de571babb4d9e8 18948 hevea_2.32-3.debian.tar.xz 11daf3aad492414db273158897e8a1d2eafbc640d8463b37b01b2449435defd7 5761 hevea_2.32-3_source.buildinfo Files: 8a3897772e886130045b04de8b2d5bc6 2036 tex optional hevea_2.32-3.dsc 2367523c2eec3e7993d9c43259f253df 18948 tex optional hevea_2.32-3.debian.tar.xz 5b8963d74cabfe323449b402daa81e85 5761 tex optional hevea_2.32-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl3DzkcACgkQdFxHZtTK zf8XGBAAiy0bw4UmquKZ0HqbjH3kiSpODMdNhDa3Kq5sCBTA/SP2oBGjACWO3qxO 2dbLx4WdqGVFhwEXhfi/sxKD8PAz3Gj96o+iplpG8n0edJRyfP5ik6KU6C+z6jjX a4uqM40kKhxzulfutMo0dh+c2JuX7jatfoLeCgkskIVOGLLT2CPlutQGY92XWJbt ZxfRf/Q0yZBcTrM4j6/B5Z1INAnP/VwLWcmrs+0jQzOgimbzcv87LWyRmrW/zk9h +gnwC6bi/i5C8lgIYqiW0dJhibZoL+3NOxzBPm1078ASjK4T7ozhFhWWZTrmCe8C lwUdmIghqLDvJP4aYIAktWYl38DAoCkxowTAyLHa5vz6ykJSRjtzOIO0hQSpmw1C 9m9zPgIikMxUTURm40llHe6xDWflg1nBoPAOwqQYFbR5L446z+a1aD2OLmMlrDXo w+sIuGAUw6Q18+LzFw+3RQJO08mZ0Gh87zL6GVD013vL+omSF7BltRg0w+//rHGs PdolMh8gGfLH98yd0PR3bqOb+wpuD+Kyq9ErNJIKjUijD/j9+NxbK9dGeiTxDcbs lmU/tg1hytGDe3cnO7WkbVSrjQ0OCDbeS2tY3KDfV/jLMfbXBx57RoWj4Cf5ifma wn4Fgpz/g+raVYONTWEEPjMiZ6Knuyb3eYOlYg9Qod41+f3UHds= =oj3z -----END PGP SIGNATURE-----