X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fpkg-matita%2Ftrunk%2Fdebian%2Fchangelog;h=e9a533c4e724248de44afef3b3a4c4582f4788b5;hb=ad776381a262bfb6df07421e91db229bbfd495d9;hp=e3cba1b2e6b92413351c94be6e1643143896cb8b;hpb=478c02dbc259d5dc293ce323dfc4008c02db9e2d;p=helm.git

diff --git a/helm/software/pkg-matita/trunk/debian/changelog b/helm/software/pkg-matita/trunk/debian/changelog
index e3cba1b2e..e9a533c4e 100644
--- a/helm/software/pkg-matita/trunk/debian/changelog
+++ b/helm/software/pkg-matita/trunk/debian/changelog
@@ -1,4 +1,4 @@
-matita (0.4.95-1) unstable; urgency=low
+matita (0.4.96-1) unstable; urgency=low
 
   * First upload.