From: Enrico Tassi <enrico.tassi@inria.fr>
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/?p=helm.git;a=commitdiff_plain;h=db929143eeb0c6e33323c0614d4c8f01817fbca0

...
---

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 <gareuselesinge@debian.org>  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).