-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 08 Oct 2014 10:18:32 +0900 Source: cafeobj Binary: cafeobj Architecture: source amd64 Version: 1.5.2-1 Distribution: unstable Urgency: medium Maintainer: Norbert Preining <preining@debian.org> Changed-By: Norbert Preining <preining@debian.org> Description: cafeobj - new generation algebraic specification and programming language Closes: 764426 Changes: cafeobj (1.5.2-1) unstable; urgency=medium . * new upstream releases * fix building with unavailable $HOME (Closes: #764426) * bump standards version, no changes necessary Checksums-Sha1: 651112cbae2bbfdcf21fcebcb7dd603f18d57c09 1872 cafeobj_1.5.2-1.dsc f51b2a69c016eccac602cbc5ed899af7e476df24 6274186 cafeobj_1.5.2.orig.tar.gz 2ca7f4795742aa80af881e0732b93ce490d6a298 4468 cafeobj_1.5.2-1.debian.tar.xz ee66cf0c9785c3942487edfe8caf9126417b7007 12682084 cafeobj_1.5.2-1_amd64.deb Checksums-Sha256: 60c886c88c0d5c62eabd92feda679ec81d551b418dc855dd4ffa37fda3cd4ff4 1872 cafeobj_1.5.2-1.dsc 41d5b0e89c8ba76112e5e32fdd81abf57c758810ac3125decae080d83632e6d6 6274186 cafeobj_1.5.2.orig.tar.gz d2b39f7b8a8f56b5aaed9befd91c91b34bc09cf51266cf06e801f1f6769b78d8 4468 cafeobj_1.5.2-1.debian.tar.xz 0d4d6571141b2b5871ebfcca0963cd1ef6723662ce1657833abb5b67a735d1e4 12682084 cafeobj_1.5.2-1_amd64.deb Files: 1d03009802e067a5745e888465fed05d 1872 science optional cafeobj_1.5.2-1.dsc 52fe1ba1133b940df9ad2055af018138 6274186 science optional cafeobj_1.5.2.orig.tar.gz 291156df7e46bee7b666906251c8fc0c 4468 science optional cafeobj_1.5.2-1.debian.tar.xz 32164af9bdba43f13791b076e6971a1d 12682084 science optional cafeobj_1.5.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIVAwUBVDSUkGyspEiGDNwTAQgNPg/+JJ8vlgWL7TPDSPtqrrAjrKzKSstzRTfv pNZb11iVxWMJ0IbAJXQx/GBEPRsxCUqArRuweJMY2OFa2Ww0jOlZbvBYdyX8jhCp zg9+/32GGaAJVxpoXDRGptxfFRKv5JgEjh4ptMg8QjYYkaQMiiD6++G/QBQ3L2DS sLdnYArpT/iNVeteIBrA1F6nvqg9A7zsnkYWnbWQ9x1t3ZUsAvS/Z4Z2FxkvkMFf n4X3t0qsB1/oetDCQwDqJtwfWOAGg8l/XamHelwf0BDju1HokpY1u62ess1Y8SiF PXxNmcwzE4rMl9RqJO7aImOFUAOdFJPJJv1tzgJOr8QF1dUCFqnOClEShs4A2KGE w2S34VBM75keWpfnCpxgUHniCi4stlnfonlhd0+WPWJSfTk2DEXSUO5rh8olPt06 +adoBsDsFSPuGtBFExeCCQ5Savp3S6t4GXF7FiPJNwmC3tE2QM/RW//6Wrq9vTjz eRKJJYd65aa+TdZ/rMaaGB7lyKlpnSWVKsSAWF2X07vEUv5HC3uRMjw1v6JzF1fd Kiis2TV7G9l27Oj/CKrF9ahlvQx5CLvFUwXJ6M8ZrNCUZZVnIBSNbAghxS1gf95K a+9ZMxHAr/yzMYZi4quNDYSYa46IzFORGC/IhIU92CNBy6CY7U440KbUGNrT8NkK /FiFkWPqHU4= =iRTM -----END PGP SIGNATURE-----