[Pkg-ocaml-maint-commits] r6164 - in /trunk/packages/matita: tarballs/matita_0.5.6.orig.tar.gz tarballs/matita_0.5.7.orig.tar.gz trunk/debian/changelog trunk/debian/control trunk/debian/patches/numbers.dpatch

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Sun Feb 15 15:54:37 2009
New Revision: 6164

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6164
Log:
matita 0.5.7

Added:
    trunk/packages/matita/tarballs/matita_0.5.7.orig.tar.gz   (with props)
Removed:
    trunk/packages/matita/tarballs/matita_0.5.6.orig.tar.gz
Modified:
    trunk/packages/matita/trunk/debian/changelog
    trunk/packages/matita/trunk/debian/control
    trunk/packages/matita/trunk/debian/patches/numbers.dpatch

Added: trunk/packages/matita/tarballs/matita_0.5.7.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita_0.5.7.orig.tar.gz?rev=6164&op=file
==============================================================================
Binary file - no diff available.

Propchange: trunk/packages/matita/tarballs/matita_0.5.7.orig.tar.gz
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream

Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=6164&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Sun Feb 15 15:54:37 2009
@@ -1,8 +1,8 @@
-matita (0.5.6-2) UNRELEASED; urgency=low
+matita (0.5.7-1) unstable; urgency=low
 
-  * NOT RELEASED YET
+  * New upstream release
 
- -- Enrico Tassi <gareuselesinge at debian.org>  Mon, 01 Dec 2008 19:53:42 +0100
+ -- Enrico Tassi <gareuselesinge at debian.org>  Sun, 15 Feb 2009 16:04:54 +0100
 
 matita (0.5.6-1) experimental; urgency=low
 

Modified: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=6164&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Sun Feb 15 15:54:37 2009
@@ -12,7 +12,7 @@
 
 Package: matita
 Architecture: any
-Depends: ${shlibs:Depends}, ${interpreter:Depends}
+Depends: ${shlibs:Depends}, ${interpreter:Depends}, ${misc:Depends}
 Recommends: matita-standard-library, graphviz, yelp
 Description: interactive theorem prover
  Matita is a graphical interactive theorem prover based on the Calculus of
@@ -27,7 +27,7 @@
 
 Package: matita-standard-library
 Architecture: all
-Depends: matita (>= ${source:Version})
+Depends: matita (>= ${source:Version}), ${misc:Depends}
 Description: standard library for the Matita interactive theorem prover
  Matita is a graphical interactive theorem prover based on the Calculus of
  (Co)Inductive Constructions. 
@@ -38,6 +38,7 @@
 Package: matita-doc
 Architecture: all
 Suggests: matita, yelp
+Depends: ${misc:Depends}
 Section: doc
 Description: user manual of the Matita interactive theorem prover
  This package contains the PDF and HTML formatted Matita user manual.

Modified: trunk/packages/matita/trunk/debian/patches/numbers.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/patches/numbers.dpatch?rev=6164&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/numbers.dpatch (original)
+++ trunk/packages/matita/trunk/debian/patches/numbers.dpatch Sun Feb 15 15:54:37 2009
@@ -6,17 +6,17 @@
 
 @DPATCH@
 diff -urNad trunk~/components/cic_disambiguation/number_notation.ml trunk/components/cic_disambiguation/number_notation.ml
---- trunk~/components/cic_disambiguation/number_notation.ml	2008-03-19 18:37:02.000000000 +0100
-+++ trunk/components/cic_disambiguation/number_notation.ml	2008-05-01 14:09:06.000000000 +0200
+--- trunk~/components/cic_disambiguation/number_notation.ml	2008-12-03 23:53:01.000000000 +0100
++++ trunk/components/cic_disambiguation/number_notation.ml	2009-02-15 16:17:46.000000000 +0100
 @@ -28,7 +28,7 @@
  let _ =
    DisambiguateChoices.add_num_choice
      ("natural number",
--      (fun _ num _ -> LibraryObjects.build_nat (int_of_string num)));
-+      (fun _ num _ -> LibraryObjects.build_nat (int_of_string num)))(*;
+-      `Num_interp (fun num -> LibraryObjects.build_nat (int_of_string num)));
++      `Num_interp (fun num -> LibraryObjects.build_nat (int_of_string num)));(*
    DisambiguateChoices.add_num_choice
      ("Coq natural number",
-       (fun _ num _ -> HelmLibraryObjects.build_nat (int_of_string num)));
+       `Num_interp (fun num -> HelmLibraryObjects.build_nat (int_of_string num)));
 @@ -55,3 +55,4 @@
              HelmLibraryObjects.build_bin_pos num ]
          else