Format: 1.8
Date: Mon, 15 Aug 2011 22:07:12 +0200
Source: spass
Binary: spass
Architecture: arm64
Version: 3.7-3
Distribution: trusty
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@magic.buildd>
Changed-By: Roland Stigge <stigge@antcom.de>
Description: 
 spass      - An automated theorem prover for first-order logic with equality
Changes: 
 spass (3.7-3) unstable; urgency=low
 .
   * Added debian/watch
Checksums-Sha1: 
 6e909b77915003c8c881aef5072168b2cc755935 2229020 spass_3.7-3_arm64.deb
Checksums-Sha256: 
 ae5bd22b34b5db65014805a87f11414b7b25b4e11662947b1c8ba7722c2f41b9 2229020 spass_3.7-3_arm64.deb
Files: 
 a3fceecef704583f1f3672b7269e818d 2229020 science optional spass_3.7-3_arm64.deb