-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 27 Jul 2016 23:21:44 +0900 Source: cafeobj Binary: cafeobj cafeobj-mode Architecture: source all amd64 Version: 1.5.5-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: 806932 830445 Changes: cafeobj (1.5.5-1) unstable; urgency=medium . * new upstream release * update copyright file * debian/control: update Vcs and homepage fields * fix emacs startup file, thanks to Kevin Ryde (Closes: #806932) * cherry pick upstream change to use tikz instead of graffle generated images in namespace documentation * adjust autoconf files to rebuild all documentation * add texlive-generic-extra to build deps (Closes: #830445) * documentation files: use tikz instead of graffle generated pdf * bump standards version, no changes necessary * add MotoyaLMaru fonts to build deps for logo * add texlive-extra-utils, ghostscript for pdfcrop to build-deps Checksums-Sha1: 2691ae186d9b62f5a8cd6a01b83570bf3af2ccc3 1759 cafeobj_1.5.5-1.dsc e596318f1d4df906d2e420dde40b8ab3cdfb3adb 8152268 cafeobj_1.5.5.orig.tar.gz 58afa46e6bca7460e48d05b4ad79a1c691524e82 14632 cafeobj_1.5.5-1.debian.tar.xz bed7e0575a123e1704cd33d3388130fcdd4d4360 25424 cafeobj-mode_1.5.5-1_all.deb 6557e485d602b97b093f7f32a79373c53676ead2 11914086 cafeobj_1.5.5-1_amd64.deb Checksums-Sha256: ee16a87203c7a7a856e8c17af0e64f5d11b6164d283799bddac086e7d3f1c354 1759 cafeobj_1.5.5-1.dsc e301dd725a7d74d3f6216a8ee37a4d15760e9a3e1f86e7e8cf479613e747c595 8152268 cafeobj_1.5.5.orig.tar.gz 97ab1b8071ea222fdc84997438b598eb80735e3e857c73069f7989bece154932 14632 cafeobj_1.5.5-1.debian.tar.xz 1756e0f47723a522e12cca09cbe616d4f36c54b9e6d3ff5f7ef3063bef999fc6 25424 cafeobj-mode_1.5.5-1_all.deb d8955cc78da20b27f4171145e085cfa5a5d78629763c30a88e079cfc062070f7 11914086 cafeobj_1.5.5-1_amd64.deb Files: f9ce376f6f6e27bbb6b56340443cadc1 1759 science optional cafeobj_1.5.5-1.dsc 6322682322fbe4c04cef50cfec3d2f33 8152268 science optional cafeobj_1.5.5.orig.tar.gz 4ef37e895cc4051edc9adfd10bbbf1b8 14632 science optional cafeobj_1.5.5-1.debian.tar.xz 31c5364a9830fc9e87b60ea6dc45ea70 25424 science optional cafeobj-mode_1.5.5-1_all.deb 4a404ec7e1e720b103a4fdd5ee200792 11914086 science optional cafeobj_1.5.5-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQEcBAEBCgAGBQJXmMvAAAoJEOwAuNrTImaq4fcH/00TgIxgVI/GZ7RxTAK+yuAA px8Dn9f2lw/vvVFVqRluCa/pR8Jvbw3+b4DOIvL6bzSk4/tfyNB8x2h4mkkAMe0M XznfV52bE2r/OFQ6hvh8ATyY1bs692sZV0qJaXpajBQ/gSUv5kNPzNHdfEY0xi68 QwQm7XtgDXpJ5ZdYlVKSqCJ1HqbKDBXQHNaINb5rvbva6TRuxAcWcdd0m2TMrsdH +XCAb/OqQMi3Y50xAnleo1e5Vs8owiqAJVcNqC/7HheS/EAqb63yofMAdjIUmPLo dTCHDVRKkT7xAiHcoiyYP2eL2C81ALPDiYspHNRbtbdJ6aJe5I/iZyDFjYU4Skk= =iTQR -----END PGP SIGNATURE-----
