Format: 1.8 Date: Wed, 25 Nov 2015 23:13:19 +0900 Source: cafeobj Binary: cafeobj cafeobj-mode Architecture: arm64 Version: 1.5.4-4 Distribution: xenial Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Norbert Preining Description: cafeobj - new generation algebraic specification and programming language cafeobj-mode - Emacs major mode for editing CafeOBJ source code Closes: 805942 Changes: cafeobj (1.5.4-4) unstable; urgency=medium . * rearrange rules file to allow for source only uploads (Closes: #805942) Checksums-Sha1: bfc2d4bfd63028d89c1b025e7df7bc92eda3bd78 13339252 cafeobj_1.5.4-4_arm64.deb Checksums-Sha256: 159e4646d065b50f5b0b5674ba461441c460e3c15ffe4352471f00f9b22dedbd 13339252 cafeobj_1.5.4-4_arm64.deb Files: 8b92c73d8be5824685ccb1685bb61e03 13339252 science optional cafeobj_1.5.4-4_arm64.deb