Accepted cafeobj 1.5.7-3 (source all amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 08 May 2018 13:52:04 +0900
Source: cafeobj
Binary: cafeobj cafeobj-mode
Architecture: source all amd64
Version: 1.5.7-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
Changes:
 cafeobj (1.5.7-3) unstable; urgency=medium
 .
   * exclude pandoc on armhf in B-Ds, lagging behind too badly
Checksums-Sha1:
 77ca8f0379f754a1c3a1fc8ffdd0b59e99a9ba60 1814 cafeobj_1.5.7-3.dsc
 c9d895f440a592c27b13b299636d6fa87669ebfd 6396 cafeobj_1.5.7-3.debian.tar.xz
 2b6092232c647002f17bd18205c23e624a888c4e 25732 cafeobj-mode_1.5.7-3_all.deb
 c1c3c99d17032b531537b502b0a5aae5e0dd28e9 9639 cafeobj_1.5.7-3_amd64.buildinfo
 c8261d9aebc0587777e5de04728effd0dfac9a55 12825448 cafeobj_1.5.7-3_amd64.deb
Checksums-Sha256:
 139ecc443647c8c379562b2ef34d7f0902a78cee5277bbb0dd02867b9cc3edbc 1814 cafeobj_1.5.7-3.dsc
 ab759b09d732bc6456cab19b81ff4b9dee599daaca3e3a1fd04b700f3faee970 6396 cafeobj_1.5.7-3.debian.tar.xz
 3c5297d5483cf1a8b206be47f16a01c5caaf0c45ea90499ba42c46f4dbd53c64 25732 cafeobj-mode_1.5.7-3_all.deb
 b3052afe16e84e3a412070ddbfa38739d095a50ebf27d13b465df8242b0bee6f 9639 cafeobj_1.5.7-3_amd64.buildinfo
 28d4cf2d9276d6980f781da47d312a40e5bf9b29faf6a984073ae53f380b2eba 12825448 cafeobj_1.5.7-3_amd64.deb
Files:
 298276cd610291226592cab2d7a5dc27 1814 science optional cafeobj_1.5.7-3.dsc
 adbcefad7854d20f3615aedb82f9391e 6396 science optional cafeobj_1.5.7-3.debian.tar.xz
 22698468914009948994d01f066b4090 25732 science optional cafeobj-mode_1.5.7-3_all.deb
 a85704853d108dd09a9c9966481f9020 9639 science optional cafeobj_1.5.7-3_amd64.buildinfo
 5990e390e5fd8aaff6b21ec6f8ea01ed 12825448 science optional cafeobj_1.5.7-3_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCgAdFiEE68ws0vrA2voQX53I2A4JsIcUAGYFAlrxLjIACgkQ2A4JsIcU
AGZr6gf+LWOx0JxISIHK9TXMhwiCv2mMDaP66okViQVFOvnbwIok5Lc6XEuHyGkn
Ww5McRu/PtoiESa7EAKDXp6XT4xM2cp7Q5kLcnC6Llipjn1+zsEvBxdqeGKMg9Lx
xHt4kTpazKKcpm0+4Ej45Didsh0KQvRPorBPPeMu+LpAYAuOK9vbqstirY/E37KE
zNH1Z+whJTXxWV8Cfep7F8MbPaErhXwGooYlfTDZY3V7z1nl5IIOZnNXM+EguIQ0
lPXhb0WOkO1qK6WJ4OuyHwWAKWp2yBmZrhwFSmT3vm+sGNNVgznoVaTneQsOqR3k
Q4/VPQP5HS4QofbXw65aqVCqqXbVrw==
=LpIb
-----END PGP SIGNATURE-----