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 <[email protected]> Mon, 01 Dec 2008 19:53:42 +0100
+ -- Enrico Tassi <[email protected]> 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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
