Format: 1.8
Date: Sun, 06 May 2012 20:35:57 +0200
Source: matita
Binary: matita
Architecture: armhf
Version: 0.99.1-1
Distribution: quantal
Urgency: low
Maintainer: Ubuntu/armel Build Daemon <buildd@nikusui.buildd>
Changed-By: Enrico Tassi <gareuselesinge@debian.org>
Description: 
 matita     - interactive theorem prover
Changes: 
 matita (0.99.1-1) unstable; urgency=low
 .
   * New upstream release
   * Removed package matita-doc (doc is available via F1)
   * Switch to dh
   * Add matita.desktop
   * Remove the following patches (integrated upstream):
     - Fix-FTBFS-with-camlp5-6.05
     - matita.conf.xml.in
     - slist-sep
     - numbers
     - native-compilers
   * New patch 'configure' to avoid useless build-dep on mysql ocaml bindings
   * Cleanup debian
Checksums-Sha1: 
 899bc314355b2662f222e1f77c56cd779b8e2bf2 3731094 matita_0.99.1-1_armhf.deb
Checksums-Sha256: 
 b6ba213ef4887773f569fde0e2fd89fa0762af05fbab6bea17728030eefd6ffe 3731094 matita_0.99.1-1_armhf.deb
Files: 
 7f2ef5ad08cc4908ca7920405d8b037b 3731094 math optional matita_0.99.1-1_armhf.deb