Accepted: matita 0.4.97-1 (source)

[Ubuntu Installer]

Accepted:
 OK: matita_0.4.97.orig.tar.gz
 OK: matita_0.4.97-1.diff.gz
 OK: matita_0.4.97-1.dsc
     -> Component: universe Section: math

Origin: Debian/unstable
Format: 1.7
Date: Fri,  23 Nov 2007 09:16:05 +0000
Source: matita
Binary: matita, matita-standard-library
Architecture: source
Version: 0.4.97-1
Distribution: hardy
Urgency: low
Maintainer: Enrico Tassi <gareuselesinge at debian.org>
Changed-By: Ubuntu Archive Auto-Sync <archive at ubuntu.com>
Description: 
 matita     - interactive theorem prover
Closes: 448156
Changes: 
 matita (0.4.97-1) unstable; urgency=low
 .
   * New version svn tag 0.4.96.
 .
 matita (0.4.96-1) unstable; urgency=low
 .
   * First upload of svn tag 0.4.96 (Closes: #448156).
Files: 
 1ddb7f888b739d5cae5b8107b5f42d9d 1146 math optional matita_0.4.97-1.dsc
 3861c562b58612920221b51b74173d87 3151 math optional matita_0.4.97-1.diff.gz
 f5bfe73cde4a393179d225bd8cc596bf 1841037 math optional matita_0.4.97.orig.tar.gz