Format: 1.8
Date: Thu, 24 Oct 2013 09:22:27 +0200
Source: maude
Binary: maude
Architecture: arm64
Version: 2.6-4
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@magic.buildd>
Changed-By: Andreas Tille <tille@debian.org>
Description: 
 maude      - high-performance logical framework
Closes: 727454
Changes: 
 maude (2.6-4) unstable; urgency=low
 .
   * debian/rules: dh --with autotools_dev
     Closes: #727454
Checksums-Sha1: 
 78beccb5d7557dc449f5a5e673178f32c47d1b37 911932 maude_2.6-4_arm64.deb
Checksums-Sha256: 
 730dac37a17edfb930c9a0f5cdc9c056ed3ddda8ea0a4cbe4f31dfd50bb32519 911932 maude_2.6-4_arm64.deb
Files: 
 4141734a31bb1e3f081dc1163f85f61b 911932 science optional maude_2.6-4_arm64.deb