From: Enrico Tassi Date: Fri, 16 Nov 2007 19:39:34 +0000 (+0000) Subject: ... X-Git-Tag: 0.4.97@7895 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=db929143eeb0c6e33323c0614d4c8f01817fbca0;p=helm.git ... --- diff --git a/pkg-matita/tarballs/matita-0.4.96.tar.gz b/pkg-matita/tarballs/matita-0.4.96.tar.gz deleted file mode 100644 index 9e17ca376..000000000 Binary files a/pkg-matita/tarballs/matita-0.4.96.tar.gz and /dev/null differ diff --git a/pkg-matita/tarballs/matita-0.4.97.tar.gz b/pkg-matita/tarballs/matita-0.4.97.tar.gz new file mode 100644 index 000000000..df3dad637 Binary files /dev/null and b/pkg-matita/tarballs/matita-0.4.97.tar.gz differ diff --git a/pkg-matita/tarballs/matita_0.4.96.orig.tar.gz b/pkg-matita/tarballs/matita_0.4.96.orig.tar.gz deleted file mode 120000 index 6d0fded1f..000000000 --- a/pkg-matita/tarballs/matita_0.4.96.orig.tar.gz +++ /dev/null @@ -1 +0,0 @@ -matita-0.4.96.tar.gz \ No newline at end of file diff --git a/pkg-matita/tarballs/matita_0.4.97.orig.tar.gz b/pkg-matita/tarballs/matita_0.4.97.orig.tar.gz new file mode 120000 index 000000000..fec03f8b9 --- /dev/null +++ b/pkg-matita/tarballs/matita_0.4.97.orig.tar.gz @@ -0,0 +1 @@ +matita-0.4.97.tar.gz \ No newline at end of file diff --git a/pkg-matita/trunk/debian/changelog b/pkg-matita/trunk/debian/changelog index 62b980670..0771f5d4e 100644 --- a/pkg-matita/trunk/debian/changelog +++ b/pkg-matita/trunk/debian/changelog @@ -1,3 +1,9 @@ +matita (0.4.97-1) unstable; urgency=low + + * New version svn tag 0.4.96. + + -- Enrico Tassi Fri, 16 Nov 2007 20:37:55 +0100 + matita (0.4.96-1) unstable; urgency=low * First upload of svn tag 0.4.96 (Closes: #448156).