-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 21 May 2018 09:31:59 +0900 Source: cafeobj Binary: cafeobj cafeobj-mode Architecture: source all amd64 Version: 1.5.7-4 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 Changes: cafeobj (1.5.7-4) unstable; urgency=medium . * ship prebuild documentation file and remove all of pandoc dependency Checksums-Sha1: 36069dce13875630cb14b8be188c1c9492613198 1513 cafeobj_1.5.7-4.dsc 078ed73199a3aea531143b7b12b3eacbba695e63 6620 cafeobj_1.5.7-4.debian.tar.xz d7c07d4a56f215e96a5fc863d90d3a1c03ce2234 25772 cafeobj-mode_1.5.7-4_all.deb 8b01c61e4b3caab5dce9269c1ad517fc54c8eb3f 5764 cafeobj_1.5.7-4_amd64.buildinfo d9eecbbb6b4be20314b401cb487f0177ca9ff488 12875496 cafeobj_1.5.7-4_amd64.deb Checksums-Sha256: aca8a2fd50b241b583c25ec1d26d95159e90ac03dc73a2cd2a3ef60430123ff9 1513 cafeobj_1.5.7-4.dsc 9f59023b82326defb9e1793062cf4c019a2301b7cb0e8758d155ccbdb4be0887 6620 cafeobj_1.5.7-4.debian.tar.xz b2cd06ade1ff281497d52e89b799062c04823676a3cd8bc476be3b3022aa3748 25772 cafeobj-mode_1.5.7-4_all.deb 7383826963e14a636f3a381447cd81113f37a70489b9ca8634b794d4984cd007 5764 cafeobj_1.5.7-4_amd64.buildinfo d99fe74383a218e6547b6bcd14cd8b0e32ca0b0325b000b5833e7f78f6375b8e 12875496 cafeobj_1.5.7-4_amd64.deb Files: 9948b43d442bd8bc7ae6144c1c269dcd 1513 science optional cafeobj_1.5.7-4.dsc c676cd2121fc11eabedbf47b2da4f9f8 6620 science optional cafeobj_1.5.7-4.debian.tar.xz f60a3545feb91e0c649e81fbe80d808a 25772 science optional cafeobj-mode_1.5.7-4_all.deb fe3fa612dc797ed153948caa74a28728 5764 science optional cafeobj_1.5.7-4_amd64.buildinfo b28c7bd30f973ddee68e55de20fcbffb 12875496 science optional cafeobj_1.5.7-4_amd64.deb -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEE68ws0vrA2voQX53I2A4JsIcUAGYFAlsCE+8ACgkQ2A4JsIcU AGZW2Qf+N8sj3yMSvW0VzES2gMD47a3TV72z02JlxotmkphY7gUYQ5hTLEn6P1XL BTGrwsm+KkcyiKFtWRHxaLoGAHQMJbxUM+x4Inl4gj7k3zsL6Am7XCu/L60NytDW 7YCnQp1mmp8D69bgU3huVJh2kU8x3ch+wYBsTOZAmKpSRD2YgnqJAB8XJWBz9q+R fWKvKqEmk2iwLLeAG2z2JGrEQu5yebX6cF1WjYX0ffsyGd7KgxYcVCJ+dEVJw8MV J6sw7PEsg+eruITwp2bjiIR/2PLE7ekntRSPne/hje+dbbY6OreLjVM8soOLvhBc RZlTlJWbyfW7SKIyYn/IoUaucJ6n8A== =mgae -----END PGP SIGNATURE-----
