From: Enrico Tassi Date: Thu, 30 Aug 2007 13:10:08 +0000 (+0000) Subject: the version on the livecd X-Git-Tag: 0.4.95@7852~247 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1a7aab7890dec60cc32d3050b7b22b062dab3cd2;p=helm.git the version on the livecd --- diff --git a/pkg-matita/tarballs/matita-0.1.0.tar.gz b/pkg-matita/tarballs/matita-0.1.0.tar.gz index dcc352ab4..eebeb0719 100644 Binary files a/pkg-matita/tarballs/matita-0.1.0.tar.gz and b/pkg-matita/tarballs/matita-0.1.0.tar.gz differ diff --git a/pkg-matita/tarballs/matita-0.2.0.tar.gz b/pkg-matita/tarballs/matita-0.2.0.tar.gz new file mode 100644 index 000000000..f49843820 Binary files /dev/null and b/pkg-matita/tarballs/matita-0.2.0.tar.gz differ diff --git a/pkg-matita/tarballs/matita_0.2.0.orig.tar.gz b/pkg-matita/tarballs/matita_0.2.0.orig.tar.gz new file mode 120000 index 000000000..b8374c1e9 --- /dev/null +++ b/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/pkg-matita/trunk/debian/changelog b/pkg-matita/trunk/debian/changelog index 3da08ae7f..979d40bab 100644 --- a/pkg-matita/trunk/debian/changelog +++ b/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