[Pkg-ocaml-maint-commits] r4863 - in /trunk/packages/matita/trunk/debian: changelog control patches/00list patches/numbers.dpatch

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Wed Dec  5 12:50:40 2007
New Revision: 4863

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4863
Log:
fixed build dependency of matita: camlp5 >= 5.04 and ule08 >= 0.8-4
removed dependency on coq numbers in number_notation.ml

Added:
    trunk/packages/matita/trunk/debian/patches/numbers.dpatch   (with props)
Modified:
    trunk/packages/matita/trunk/debian/changelog
    trunk/packages/matita/trunk/debian/control
    trunk/packages/matita/trunk/debian/patches/00list

Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=4863&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Wed Dec  5 12:50:40 2007
@@ -1,3 +1,10 @@
+matita (0.4.98-4) unstable; urgency=low
+
+  * Bumped version on camlp5 >= 5.04 and ulex08 >= 0.8-4
+  * Added patch to remove dependency on Coq numbers in number_notation.ml
+
+ -- Enrico Tassi <gareuselesinge at debian.org>  Wed, 05 Dec 2007 13:45:27 +0100
+
 matita (0.4.98-3) unstable; urgency=low
 
   * Bumped again dependencies over liblablgtkmathview-ocaml-dev 

Modified: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=4863&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Wed Dec  5 12:50:40 2007
@@ -3,7 +3,7 @@
 Priority: optional
 Maintainer: Enrico Tassi <gareuselesinge at debian.org>
 Uploaders: Stefano Zacchiroli <zack at debian.org>
-Build-Depends: ocaml (>= 3.10.0), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>> 0.8-3), libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04-1), liblablgtksourceview-ocaml-dev, dpatch, help2man
+Build-Depends: ocaml (>= 3.10.0), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04-1), liblablgtksourceview-ocaml-dev, dpatch, help2man
 Standards-Version: 3.7.2
 XS-Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/
 Homepage: http://matita.cs.unibo.it

Modified: trunk/packages/matita/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/patches/00list?rev=4863&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/00list (original)
+++ trunk/packages/matita/trunk/debian/patches/00list Wed Dec  5 12:50:40 2007
@@ -1,1 +1,2 @@
 matita.conf.xml.in.dpatch
+numbers.dpatch

Added: 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=4863&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/numbers.dpatch (added)
+++ trunk/packages/matita/trunk/debian/patches/numbers.dpatch Wed Dec  5 12:50:40 2007
@@ -1,0 +1,25 @@
+#! /bin/sh /usr/share/dpatch/dpatch-run
+## numbers.dpatch by Enrico Tassi <gareuselesinge at debian.org>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at DPATCH@
+diff -urNad trunk~/components/cic_disambiguation/number_notation.ml trunk/components/cic_disambiguation/number_notation.ml
+--- trunk~/components/cic_disambiguation/number_notation.ml	2007-11-25 14:12:25.000000000 +0100
++++ trunk/components/cic_disambiguation/number_notation.ml	2007-12-05 13:47:48.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)))(*;
+   DisambiguateChoices.add_num_choice
+     ("Coq natural number",
+       (fun _ num _ -> HelmLibraryObjects.build_nat (int_of_string num)));
+@@ -55,4 +55,4 @@
+             HelmLibraryObjects.build_bin_pos num ]
+         else
+           assert false))
+-
++*)

Propchange: trunk/packages/matita/trunk/debian/patches/numbers.dpatch
------------------------------------------------------------------------------
    svn:executable = *