Format: 1.8
Date: Mon, 15 Aug 2011 22:07:12 +0200
Source: spass
Binary: spass
Architecture: powerpc
Version: 3.7-3
Distribution: precise
Urgency: low
Maintainer: Ubuntu/powerpc Build Daemon <buildd@adare.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: 
 83321c76ddafdc1e8347f0311757a29d7234509c 2129552 spass_3.7-3_powerpc.deb
Checksums-Sha256: 
 997162e23f8636b4762cb44baef4d078cb3545ac7a82e06a149ebe11aced313c 2129552 spass_3.7-3_powerpc.deb
Files: 
 b70d69464392b3182f1ac2477ba90a02 2129552 science optional spass_3.7-3_powerpc.deb