Format: 1.8
Date: Sat, 19 Jan 2019 18:12:49 +0900
Source: cafeobj
Binary: cafeobj cafeobj-mode
Architecture: armhf
Version: 1.5.9-1
Distribution: disco-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-038.buildd>
Changed-By: Norbert Preining <norbert@preining.info>
Description:
 cafeobj    - new generation algebraic specification and programming language
 cafeobj-mode - Emacs major mode for editing CafeOBJ source code
Changes:
 cafeobj (1.5.9-1) unstable; urgency=medium
 .
   * new upstream release
Checksums-Sha1:
 3baa10533e712c49e209ec96d417c8714f3332df 4519 cafeobj_1.5.9-1_armhf.buildinfo
 8d123aba8cfae7b6b4aa9b7d41d83055c046bc2c 11761668 cafeobj_1.5.9-1_armhf.deb
Checksums-Sha256:
 56c94c5386f1db88d457b5333c21c5d0ff042ccc0761e1202eedd997cae9d9ad 4519 cafeobj_1.5.9-1_armhf.buildinfo
 31d511ae4b18926d357b65939d5eaaf73cd7ab44c82010399a53d4ad5a457503 11761668 cafeobj_1.5.9-1_armhf.deb
Files:
 cd2aca9ea5f568fcdae27876ad81d6cc 4519 science optional cafeobj_1.5.9-1_armhf.buildinfo
 49404b07b42fccfbaa3b22c50b8e238e 11761668 science optional cafeobj_1.5.9-1_armhf.deb