Accepted: spass 2.1-4 (source)

[Ubuntu Installer]

Accepted:
 OK: spass_2.1.orig.tar.gz
 OK: spass_2.1-4.diff.gz
 OK: spass_2.1-4.dsc
     -> Component: universe Section: science

Origin: Debian/unstable
Format: 1.7
Date: Wed,  20 Aug 2008 09:39:39 +0100
Source: spass
Binary: spass
Architecture: source
Version: 2.1-4
Distribution: intrepid
Urgency: low
Maintainer: Roland Stigge <stigge at antcom.de>
Changed-By: Albin Tonnerre <albin.tonnerre at gmail.com>
Description: 
 spass      - An automated theorem prover for first-order logic with equality
Closes: 495149
Changes: 
 spass (2.1-4) unstable; urgency=low
 .
   * debian/rules: Removed DEB_BASE_DIR (Closes: #495149)
   * debian/control: Standards-Version: 3.8.0
   * debian/compat: 7
Files: 
 e37190accc23ab998fc1f0e663eb6c09 909 science optional spass_2.1-4.dsc
 2d269ea1020b1fc9fd8b41f26f7fbca2 14188 science optional spass_2.1-4.diff.gz