Format: 1.8
Date: Mon, 26 Feb 2018 14:52:08 +0900
Source: cafeobj
Binary: cafeobj cafeobj-mode
Architecture: arm64
Version: 1.5.7-1
Distribution: bionic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-008.buildd>
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:
 eb51aea553d0bd0cba8a682a3e37bf1876db40fa 8895 cafeobj_1.5.7-1_arm64.buildinfo
 66694efeb4d76fe257cdc623fb4b294571a956dd 12600412 cafeobj_1.5.7-1_arm64.deb
Checksums-Sha256:
 3bfcc5ce830d409685bb25b06e91e859c0151d72af2a4535b33363a2019c7a9b 8895 cafeobj_1.5.7-1_arm64.buildinfo
 9f84763033f1b925b97765d178275f8d2232cc0acbb61e496e74043c29c82597 12600412 cafeobj_1.5.7-1_arm64.deb
Files:
 e7424328a348dd62b8d7df3b5ca5e75f 8895 science optional cafeobj_1.5.7-1_arm64.buildinfo
 ff000880521e9da62f9dcee9fe6d4563 12600412 science optional cafeobj_1.5.7-1_arm64.deb