X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=pkg-matita%2Ftrunk%2Fdebian%2Fchangelog;h=e9a533c4e724248de44afef3b3a4c4582f4788b5;hb=2b531ee44f25ee56565bf288e4a60db560264213;hp=e3cba1b2e6b92413351c94be6e1643143896cb8b;hpb=2e105ade041b346f9a94d619f06deaababf06a6f;p=helm.git diff --git a/pkg-matita/trunk/debian/changelog b/pkg-matita/trunk/debian/changelog index e3cba1b2e..e9a533c4e 100644 --- a/pkg-matita/trunk/debian/changelog +++ b/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.