[Pkg-ocaml-maint-commits] r5580 - in /trunk/packages/matita: tarballs/ trunk/debian/ trunk/debian/patches/
gareuselesinge at users.alioth.debian.org
gareuselesinge at users.alioth.debian.org
Thu May 1 13:22:18 UTC 2008
Author: gareuselesinge
Date: Thu May 1 13:22:18 2008
New Revision: 5580
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5580
Log:
matita 0.5.0-rc1 imported
Added:
trunk/packages/matita/tarballs/matita-0.5.0-rc1.tar.gz (with props)
trunk/packages/matita/tarballs/matita_0.5.0~rc1.orig.tar.gz (with props)
Modified:
trunk/packages/matita/trunk/debian/changelog
trunk/packages/matita/trunk/debian/control
trunk/packages/matita/trunk/debian/matita.install
trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch
trunk/packages/matita/trunk/debian/patches/numbers.dpatch
trunk/packages/matita/trunk/debian/rules
Added: trunk/packages/matita/tarballs/matita-0.5.0-rc1.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita-0.5.0-rc1.tar.gz?rev=5580&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/matita/tarballs/matita-0.5.0-rc1.tar.gz
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
Added: trunk/packages/matita/tarballs/matita_0.5.0~rc1.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita_0.5.0%7Erc1.orig.tar.gz?rev=5580&op=file
==============================================================================
--- trunk/packages/matita/tarballs/matita_0.5.0~rc1.orig.tar.gz (added)
+++ trunk/packages/matita/tarballs/matita_0.5.0~rc1.orig.tar.gz Thu May 1 13:22:18 2008
@@ -1,0 +1,1 @@
+link matita-0.5.0-rc1.tar.gz
Propchange: trunk/packages/matita/tarballs/matita_0.5.0~rc1.orig.tar.gz
------------------------------------------------------------------------------
svn:special = *
Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=5580&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Thu May 1 13:22:18 2008
@@ -1,8 +1,10 @@
-matita (0.4.98-8) UNRELEASED; urgency=low
+matita (0.5.0~rc1-1) unstable; urgency=low
- * NOT RELEASED YET
+ * New upstream release candidate, fixing many relevant bugs and cleaning up
+ the standard library of theorems
+ * Strict dependency over libgtkmathview >= 0.8.0-2
- -- Enrico Tassi <gareuselesinge at debian.org> Mon, 03 Mar 2008 10:54:38 +0100
+ -- Enrico Tassi <gareuselesinge at debian.org> Thu, 01 May 2008 14:11:10 +0200
matita (0.4.98-7) unstable; urgency=medium
Modified: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=5580&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Thu May 1 13:22:18 2008
@@ -3,7 +3,7 @@
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Uploaders: Enrico Tassi <gareuselesinge at debian.org>, Stefano Zacchiroli <zack at debian.org>
-Build-Depends: ocaml (>= 3.10.1), 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
+Build-Depends: ocaml (>= 3.10.1), 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), liblablgtksourceview-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2)
Standards-Version: 3.7.3
Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/matita/trunk
Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/
Modified: trunk/packages/matita/trunk/debian/matita.install
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/matita.install?rev=5580&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/matita.install (original)
+++ trunk/packages/matita/trunk/debian/matita.install Thu May 1 13:22:18 2008
@@ -3,14 +3,12 @@
usr/share/matita/AUTHORS
usr/share/matita/LICENSE
usr/share/matita/*.xml
-usr/share/matita/*.in
usr/share/matita/*.lang
usr/share/matita/*.gtkrc
usr/share/matita/*.moo
usr/share/matita/*.templ
usr/share/matita/matita usr/bin/
usr/share/matita/matitac usr/bin/
-usr/share/matita/matitamake usr/bin/
usr/share/matita/matitadep usr/bin/
usr/share/matita/matitaclean usr/bin/
usr/share/man/* usr/share/man/
Modified: trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch?rev=5580&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch (original)
+++ trunk/packages/matita/trunk/debian/patches/matita.conf.xml.in.dpatch Thu May 1 13:22:18 2008
@@ -6,44 +6,32 @@
@DPATCH@
diff -urNad trunk~/matita/matita.conf.xml.in trunk/matita/matita.conf.xml.in
---- trunk~/matita/matita.conf.xml.in 2007-10-29 17:13:47.000000000 +0100
-+++ trunk/matita/matita.conf.xml.in 2007-11-07 15:57:56.000000000 +0100
-@@ -49,17 +49,17 @@
+--- trunk~/matita/matita.conf.xml.in 2008-01-11 20:13:29.000000000 +0100
++++ trunk/matita/matita.conf.xml.in 2008-05-01 14:06:45.000000000 +0200
+@@ -50,17 +50,20 @@
+
<!-- The following snippet is used by the helm team
note that user's tables are named diffrently from library tables,
- so they can coexists on the same db -->
--
-+<!--
- <key name="metadata">@DBHOST@ matita helm none legacy</key>
- <key name="metadata">@DBHOST@ public helm none library</key>
+- so they can coexists on the same db -->
++ so they can coexists on the same db
+
+ <key name="metadata">@DBHOST@ matita helm none library</key>
<key name="metadata">@DBHOST@ matita helm none user</key>
--
-+-->
+
++ -->
++
<!-- The following snippet it what you want to use a local sqlite db
and acess remotely to the coq library trought mowgli
<key name="metadata">@DBHOST@ matita helm none legacy</key>
-+-->
++ -->
<key name="metadata">file://$(matita.rt_base_dir) metadata.db helm helm library</key>
<key name="metadata">file://$(matita.basedir) user.db helm helm user</key>
- -->
++
<!--
If you have a large amount of metadata, you may be interested in using
-@@ -90,11 +90,13 @@
- (e.g. the Matita standard library)
- "legacy" implies "ro"
- -->
-+<!--
- <key name="prefix">
- cic:/matita/
- file:///projects/helm/library/matita_contribs/matita
- ro
- </key>
-+-->
- <key name="prefix">
- cic:/matita/
- file://$(matita.rt_base_dir)/xml/standard-library/
-@@ -104,6 +106,7 @@
+@@ -100,6 +103,7 @@
cic:/matita/
file://$(user.home)/.matita/xml/matita/
</key>
@@ -51,7 +39,7 @@
<key name="prefix">
cic:/
file://@RT_BASE_DIR@/xml/legacy-library/coq/
-@@ -119,5 +122,6 @@
+@@ -115,5 +119,6 @@
http://mowgli.cs.unibo.it/xml/
legacy
</key>
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=5580&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/numbers.dpatch (original)
+++ trunk/packages/matita/trunk/debian/patches/numbers.dpatch Thu May 1 13:22:18 2008
@@ -6,8 +6,8 @@
@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
+--- 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
@@ -28,7 +28,7 @@
let _ =
DisambiguateChoices.add_num_choice
@@ -17,9 +17,8 @@
DisambiguateChoices.add_num_choice
("Coq natural number",
(fun _ num _ -> HelmLibraryObjects.build_nat (int_of_string num)));
-@@ -55,4 +55,4 @@
+@@ -55,3 +55,4 @@
HelmLibraryObjects.build_bin_pos num ]
else
assert false))
--
-+*)
++ *)
Modified: trunk/packages/matita/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/rules?rev=5580&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/rules (original)
+++ trunk/packages/matita/trunk/debian/rules Thu May 1 13:22:18 2008
@@ -24,10 +24,6 @@
help2man --name="Matita interative theorem prover - batch compiler" -N \
$(DEB_DESTDIR)/usr/share/matita/matitac \
| gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitac.1.gz
- MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
- help2man --name="Matita interative theorem prover - build tool" -N \
- $(DEB_DESTDIR)/usr/share/matita/matitamake \
- | gzip -9 > $(DEB_DESTDIR)/usr/share/man/man1/matitamake.1.gz
MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
help2man --name="Matita interative theorem prover - cleanup tool" -N \
$(DEB_DESTDIR)/usr/share/matita/matitaclean \
@@ -59,5 +55,3 @@
common-install-indep::
# install matita library
make install-indep DESTDIR=$(DEB_DESTDIR) MATITA_CFLAGS=-noinnertypes
- # innerypes removal
- # find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;
More information about the Pkg-ocaml-maint-commits
mailing list