Format: 1.8
Date: Fri, 20 Mar 2009 18:19:50 +0100
Source: matita
Binary: matita matita-standard-library matita-doc
Architecture: lpia
Version: 0.5.7-2
Distribution: karmic
Urgency: low
Maintainer: Ubuntu/lpia Build Daemon <buildd@molybdenum.buildd>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
 matita-standard-library - standard library for the Matita interactive theorem prover
Changes: 
 matita (0.5.7-2) unstable; urgency=low
 .
   * rebuild against ocaml 3.11
   * copyright file points to versioned licenses
Checksums-Sha1: 
 0a9b1a87cf253f4218e0cd9a65666c157bfe4fb4 4100748 matita_0.5.7-2_lpia.deb
Checksums-Sha256: 
 57432c57701d574d5819279567227a1941efe0b700f8359ede09da0a273f30d4 4100748 matita_0.5.7-2_lpia.deb
Files: 
 3612224b9599b4dbc39848423a4eb3af 4100748 math optional matita_0.5.7-2_lpia.deb