From: Enrico Tassi Date: Thu, 30 Aug 2007 13:10:08 +0000 (+0000) Subject: the version on the livecd X-Git-Tag: make_still_working~6096 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9c9ac719842be4bb1bf0e52236218fb7a69dac6c;p=helm.git the version on the livecd --- diff --git a/helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz b/helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz index dcc352ab4..eebeb0719 100644 Binary files a/helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz and b/helm/software/pkg-matita/tarballs/matita-0.1.0.tar.gz differ diff --git a/helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz b/helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz new file mode 100644 index 000000000..f49843820 Binary files /dev/null and b/helm/software/pkg-matita/tarballs/matita-0.2.0.tar.gz differ diff --git a/helm/software/pkg-matita/tarballs/matita_0.2.0.orig.tar.gz b/helm/software/pkg-matita/tarballs/matita_0.2.0.orig.tar.gz new file mode 120000 index 000000000..b8374c1e9 --- /dev/null +++ b/helm/software/pkg-matita/tarballs/matita_0.2.0.orig.tar.gz @@ -0,0 +1 @@ +matita-0.2.0.tar.gz \ No newline at end of file diff --git a/helm/software/pkg-matita/trunk/debian/changelog b/helm/software/pkg-matita/trunk/debian/changelog index 3da08ae7f..979d40bab 100644 --- a/helm/software/pkg-matita/trunk/debian/changelog +++ b/helm/software/pkg-matita/trunk/debian/changelog @@ -1,3 +1,9 @@ +matita (0.2.0-1) unstable; urgency=low + + * Upstream release for the Bertinoro Types summer school + + -- Enrico Tassi Wed, 01 Aug 2007 12:19:57 +0100 + matita (0.1.0-1) unstable; urgency=low * initial release