-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 26 Feb 2018 14:52:08 +0900 Source: cafeobj Binary: cafeobj cafeobj-mode Architecture: source all amd64 Version: 1.5.7-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 cafeobj-mode - Emacs major mode for editing CafeOBJ source code Closes: 881192 Changes: cafeobj (1.5.7-1) unstable; urgency=medium . * new upstream releases - fixes FTBFS with new sbcl (Closes: #881192) * clean up patches * bump standards version, no changes necessary * update development location * bump dh compat to level 10 Checksums-Sha1: 11493aa0fd48daedf275f215ce4037c281596fd0 1787 cafeobj_1.5.7-1.dsc 4c4c971ce75fc30116e5699b9de4164d8c4b9d58 8427855 cafeobj_1.5.7.orig.tar.gz e5166005146c1ff6493c0d719007bb27d4d69165 6200 cafeobj_1.5.7-1.debian.tar.xz 3c5b3dc55a791a4b002e3b9492034440496c0cae 25640 cafeobj-mode_1.5.7-1_all.deb f3e2cf4fccec6929b81e76f7ee1d4deadb007910 9984 cafeobj_1.5.7-1_amd64.buildinfo f22ab804421746cee709c36d2363a915ca4057d5 12934724 cafeobj_1.5.7-1_amd64.deb Checksums-Sha256: 6c4f005f69356bd0e7ef43324cc41a950b30398fea886340b02ecdc01e19ad02 1787 cafeobj_1.5.7-1.dsc 6a712c958acc78233554b514b6257dd81311e1f4d7c1c2f80a4b37ee8ee0ffcc 8427855 cafeobj_1.5.7.orig.tar.gz 4ea3b86fab107e747b6623be62b594be379320e24d7e4ce75d9bab1f5f2deb77 6200 cafeobj_1.5.7-1.debian.tar.xz 27d044da24e89d1de7c2d41e87f9d449d59abdbe20d1c6e7a9a025ae4eac7f88 25640 cafeobj-mode_1.5.7-1_all.deb a17335f334e7ba1b213c1a4db7d1e84f3f0eb27d5d6693896383aa0e0d587ef2 9984 cafeobj_1.5.7-1_amd64.buildinfo 13a00fe5bdccff35a1d3820713241ee17771e1e20eb59c2a766e51c9a1b7863a 12934724 cafeobj_1.5.7-1_amd64.deb Files: 984e820eca9ec60658c0699faa95d083 1787 science optional cafeobj_1.5.7-1.dsc 70a5c8ec2ae3ccf47ccd7be3c5884de8 8427855 science optional cafeobj_1.5.7.orig.tar.gz ecd99d0b2d0ef8be360073ea9e36de71 6200 science optional cafeobj_1.5.7-1.debian.tar.xz b5c780b911e586c232dc1a47847143ca 25640 science optional cafeobj-mode_1.5.7-1_all.deb 0817c49c31a5501f555fb294080961a2 9984 science optional cafeobj_1.5.7-1_amd64.buildinfo 37b2a0d473570cf32ca08701b51c0e2d 12934724 science optional cafeobj_1.5.7-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEE68ws0vrA2voQX53I2A4JsIcUAGYFAlqTo+4ACgkQ2A4JsIcU AGYdOQf+IydudFvlgOGKPJqdmAUS0BaYTCTUjkJPEmoANoUw4pW023e/maVRDksT goFqgsJr1zw0L7YIaI1i/L7np06rilU9Z46xXBnuqI6VkTGr2BicX2OORzICtSv9 Q2AUj+GnLN4NTCLHL2yojklxvhal+1jCRHMRHUy/x4f8Njrtq99m2w5m5ZQ4fyMg wpSF8yFTIX5pDh0xhbplzyfdqA9ExyOcCb40pVPi3N/qnDAtufsay2RDeLcjZeix Eh97wP0wZuP/U9DOTYWYN11AvjW7mg8s4ZqGcY55iOSdgkKpraoi12UxJM2aTfyw YbHWA2cYt6m1MjP6m46TJvJlt1peIA== =LCfV -----END PGP SIGNATURE-----