-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 01 May 2018 09:07:28 +0900 Source: cafeobj Binary: cafeobj cafeobj-mode Architecture: source all amd64 Version: 1.5.7-2 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: 897105 Changes: cafeobj (1.5.7-2) unstable; urgency=medium . * fix FTBFS with new pandoc (Closes: #897105) Checksums-Sha1: 88882919f7ad3f16e9e09164e922ca4e5d2502e3 1796 cafeobj_1.5.7-2.dsc b0d536ee9912bc3281be876fec8f6f3ff30cb5a3 6344 cafeobj_1.5.7-2.debian.tar.xz f4881ce7b7c03e639c4fb6cc2a515d10dd151cc1 25680 cafeobj-mode_1.5.7-2_all.deb 54a20a546366c917cae98833093a1e829b6399a0 9668 cafeobj_1.5.7-2_amd64.buildinfo 52ca014ce12dcfff190700f29fac3c5c12ef90f1 12787048 cafeobj_1.5.7-2_amd64.deb Checksums-Sha256: a89c50ead0cb3a41c8a7fabe7102d447234c12cde17f38511653e44293d60a6b 1796 cafeobj_1.5.7-2.dsc fc15c3de684b80e57857728799749677894cd6182add9998c12e41eee05e7200 6344 cafeobj_1.5.7-2.debian.tar.xz 6ddcc24160af922fe4fb8cedd0db7dc6add79f49aaa01fb8220e61014d911c10 25680 cafeobj-mode_1.5.7-2_all.deb 343b216742e383a96efc9497f5cef50c30efadc06f3aa0b722deedc56538ffe9 9668 cafeobj_1.5.7-2_amd64.buildinfo 616f5f6ab768d9eb9e4fb5b45d8bb18e4dcd59db86bffbe16ee8c308a112533d 12787048 cafeobj_1.5.7-2_amd64.deb Files: 92bd9abd7e64c6f74601c44aaac9fac5 1796 science optional cafeobj_1.5.7-2.dsc f2e076946f87e5bb1116bdf9aad48097 6344 science optional cafeobj_1.5.7-2.debian.tar.xz a5abede3d1f91bf79b47522e1406ee7c 25680 science optional cafeobj-mode_1.5.7-2_all.deb 2af55591397095620d7d6a5a304d2a3d 9668 science optional cafeobj_1.5.7-2_amd64.buildinfo 750c079b3be44e06a8c3695d2ea270db 12787048 science optional cafeobj_1.5.7-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEE68ws0vrA2voQX53I2A4JsIcUAGYFAlrntSIACgkQ2A4JsIcU AGbCxwgAoeCiOyViJP2JHNRMLpZXdaYtRstTkVsns2OpJbveZ7uc7MVgfSrsfzNX IrPDB79eH4VCFNuvmex58ayRUbAVMTiMQZr6eC3iExPXJfRw0wuAXZgiLtqW4hEV JzngrSkEDEuBm0kNxLfoxxe/KgYUlnsYApzsldirvez8EmgQN+ztb6sn5Kr1UtAf d9eL50RIwC1QCdrwh7cBCIPS/lwlLdH8y4F2oT/wcHtb3mTsFZjJDbd2vSzA60Zj HMDNzgTukNlu1HdCQUC9/r4bj9165P6xM5Xw194bfgY+jOzE9FKuDHCwdcr6duoX 9GBtZDdLJJqWohUdQx0US5yvk4vomQ== =EGC6 -----END PGP SIGNATURE-----