-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 19 Nov 2015 08:39:27 +0900 Source: cafeobj Binary: cafeobj cafeobj-mode Architecture: source all amd64 Version: 1.5.4-3 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 cafeobj-mode - Emacs major mode for editing CafeOBJ source code Closes: 803955 Changes: cafeobj (1.5.4-3) unstable; urgency=medium . * fix short description mentioning Scala (Closes: #803955) * fix absolute path to cafeobj in emacs mode Checksums-Sha1: 6ce0bc3b193d28286239b71db324db54c55260f4 1927 cafeobj_1.5.4-3.dsc de32e5f6f7ba5640554ed5d6435249744828a28f 6204 cafeobj_1.5.4-3.debian.tar.xz 6e62a15ebe3cb8f1b29fc3fd161c70185f1eec0a 24052 cafeobj-mode_1.5.4-3_all.deb 5a2bc3e975af1df13e47f68aeba8177e293d60a9 13376692 cafeobj_1.5.4-3_amd64.deb Checksums-Sha256: 420eaf19b699adc0eba47baa6dc147f756e4a8d55f69a2e4eb99da5d5aeaf9a6 1927 cafeobj_1.5.4-3.dsc 7e07c673ef9dbb521af2dab344911e1d80730a92709b8a070fd8c86714c1971e 6204 cafeobj_1.5.4-3.debian.tar.xz e72691d5a47476dd353d526deaaf8a359ab3729c490ab7e9b2cc88f981723d4a 24052 cafeobj-mode_1.5.4-3_all.deb 4f768b1639029e07a78b300f3ef1ac411250c263f7efa9cfd06da9f268f2353b 13376692 cafeobj_1.5.4-3_amd64.deb Files: d5f405151822b26eb927410e6826080e 1927 science optional cafeobj_1.5.4-3.dsc 964b50ff990787a0da739bc20492ea70 6204 science optional cafeobj_1.5.4-3.debian.tar.xz 04d90c1df6244f56cae71d347c765892 24052 science optional cafeobj-mode_1.5.4-3_all.deb 0553d3dc0b782cb5fbfd49c6781fcfe9 13376692 science optional cafeobj_1.5.4-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIVAwUBVk0OvWyspEiGDNwTAQhPZQ/+Jm3FyNqoUBI8q42NzpzuNvWKYo33b1PV YBzr6HVYNNCuLFOWd89VLNahH8dqPPmucIKyo2xiyduELBiRCORK4St8oPs26qp+ Mmis5Un+RS7lU37cTQPVEy/2bRPWXEQV0NZKz8xm/l/0mJbluQHsbtyVYCk5s9AB Qw+D+vtjvHsIJ5hDGM3ThFeI3CWyH9AUVf6d+YjRuJyPq1sdSFt4zQ4ie9Jc/DkK DEPWx5jx5vi1gnhh49mj0HObYUhMWQ7x5adJTgbwg4hagbNOT2KAJt8VE2i0Fab1 VbpL60MmEPmXmNEHIYsCbpK3J99eMZOywGwdRXucQTnez/qY3Z2hxRwyV7FyuGiX LDQnC4M3/c5KcBW87GB4kd+oEolBhYKydJnR3whbxHSaVPkqryHVtZ3IN72edR6c K8ybArbZmpwdb2N9wbRJs22WLxcuOe4IgsMOhJaN3WivcCAOVW9ctH0Tom4dwegY vQYEaMWTYxvHRTSMzryoIo6xwqfSx6A3BQMdbiX33W1GSDodN98H8msp0vXesMe8 q/H1Rzx4AEs3qFaicEJrohVOFAQFyLA7ViJB4gxcjUKFEaoJepDZeJd5GOU1RdX4 BPFKZytaoLK1dju3l/mmsdPG37TvKx7PqMQV3hATesedgA2fdI9xXSIUqlFVyKmE ZcnBHZcHVfo= =mEwH -----END PGP SIGNATURE-----