Format: 1.8
Date: Mon, 15 Aug 2011 22:07:12 +0200
Source: spass
Binary: spass
Architecture: amd64
Version: 3.7-3
Distribution: precise
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@allspice.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: 
 1b9687e23258a74fa8cfefd62801bd09cc36c5cf 2269166 spass_3.7-3_amd64.deb
Checksums-Sha256: 
 cd551a6820424362b7676e02e63fb871b816df6c244d684fc237533abf6c20ce 2269166 spass_3.7-3_amd64.deb
Files: 
 84ca85821ccca6ab1728ab446a6080a5 2269166 science optional spass_3.7-3_amd64.deb