[Pkg-ocaml-maint-commits] r6353 - in /trunk/packages/matita/trunk/debian: changelog copyright

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Fri Mar 20 20:29:43 2009
New Revision: 6353

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6353
Log:
matita ready for caml 3.11

Modified:
    trunk/packages/matita/trunk/debian/changelog
    trunk/packages/matita/trunk/debian/copyright

Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=6353&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Fri Mar 20 20:29:43 2009
@@ -1,8 +1,9 @@
-matita (0.5.7-2) UNRELEASED; urgency=low
+matita (0.5.7-2) unstable; urgency=low
 
-  * NOT RELEASED YET
+  * rebuild against ocaml 3.11
+  * copyright file points to versioned licenses
 
- -- Enrico Tassi <gareuselesinge at debian.org>  Sun, 15 Feb 2009 17:19:45 +0100
+ -- Enrico Tassi <gareuselesinge at debian.org>  Fri, 20 Mar 2009 18:19:50 +0100
 
 matita (0.5.7-1) unstable; urgency=low
 

Modified: trunk/packages/matita/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/copyright?rev=6353&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/copyright (original)
+++ trunk/packages/matita/trunk/debian/copyright Fri Mar 20 20:29:43 2009
@@ -5,7 +5,7 @@
 
 Copyright © 2000-2007 The Matita Team.
 The software is released under the terms of the GNU/GPL license.
-See /usr/share/common-licenses/GPL
+See /usr/share/common-licenses/GPL-2
 
 File components/extlib/trie.ml:
 Copyright (C) 2000 Jean-Christophe FILLIATRE