From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 24 Jan 2003 12:51:03 +0000 (+0000)
Subject: debian release 0.3.99-1
X-Git-Tag: v0_3_99~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a4df9661e15509e5da6ed9c57e3ab6a27a440c3f;p=helm.git

debian release 0.3.99-1
---

diff --git a/helm/DEVEL/lablgtkmathview/debian/changelog b/helm/DEVEL/lablgtkmathview/debian/changelog
index 03990cc67..4f6454d99 100644
--- a/helm/DEVEL/lablgtkmathview/debian/changelog
+++ b/helm/DEVEL/lablgtkmathview/debian/changelog
@@ -1,3 +1,17 @@
+lablgtkmathview (0.3.99-1) unstable; urgency=low
+
+  * Binding to gtkmathview 0.4.0 (pre-release)
+  * Added module GMathViewAux which contains backward compatible
+    "single_selection_math_view" class
+  * Reverted to >=/<< dependencies for ocaml libraries
+  * Bumped dependencies on gmetadom to 0.1.5
+  * Bumped dependencies on gtkmathview to 0.4.0
+  * Added missing dependencies from liblablgtkmathview-ocaml-dev to
+    libgdome2-ocaml-dev
+  * Versioned dependencies on liblablgtk-ocaml-dev
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed, 22 Jan 2003 14:23:30 +0100
+
 lablgtkmathview (0.3.1-1) unstable; urgency=low
 
   * Binding to gtkmathview 0.3.1
diff --git a/helm/DEVEL/lablgtkmathview/debian/control b/helm/DEVEL/lablgtkmathview/debian/control
index 6947a794e..c812e911d 100644
--- a/helm/DEVEL/lablgtkmathview/debian/control
+++ b/helm/DEVEL/lablgtkmathview/debian/control
@@ -2,7 +2,7 @@ Source: lablgtkmathview
 Section: devel
 Priority: optional
 Maintainer: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: debhelper (>> 4.0.0), ocaml-3.06-1, ocaml-findlib, liblablgtk-ocaml-dev, libgdome2-ocaml-dev-0.1.4, libgtkmathview-dev (>= 0.3.1), libxml2-dev, libgdome2-dev, libgdome2-cpp-smart-dev, t1lib-dev (>= 1.3)
+Build-Depends: debhelper (>> 4.0.0), ocaml-3.06-1, ocaml-findlib, liblablgtk-ocaml-dev (>= 1.2.5), liblablgtk-ocaml-dev (<< 1.2.6), libgdome2-ocaml-dev (>= 0.1.5), libgdome2-ocaml-dev (<< 0.1.6), libgtkmathview-dev (>= 0.4.0), libxml2-dev, libgdome2-dev, libgdome2-cpp-smart-dev, t1lib-dev (>= 1.3)
 Standards-Version: 3.5.8
 
 Package: liblablgtkmathview-ocaml
@@ -18,7 +18,7 @@ Description: OCaml binding for libgtkmathview
 Package: liblablgtkmathview-ocaml-dev
 Architecture: any
 Section: devel
-Depends: ocaml-3.06-1, liblablgtk-ocaml-dev, libgtkmathview0 (>= 0.3.1), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib
+Depends: ocaml-3.06-1, liblablgtk-ocaml-dev (>= 1.2.5), liblablgtk-ocaml-dev (<< 1.2.6), libgtkmathview0 (>= 0.4.0), liblablgtkmathview-ocaml (= ${Source-Version}), ocaml-findlib, libgdome2-ocaml-dev (>= 0.1.5), libgdome2-ocaml-dev (<< 0.1.6)
 Description: OCaml binding for libgtkmathview
  These are the Ocaml bindings for the GtkMathView widget, that is
  currently available in the libgtkmathview0 package.
diff --git a/helm/DEVEL/lablgtkmathview/debian/copyright b/helm/DEVEL/lablgtkmathview/debian/copyright
index 75643d1db..7ac39e1a9 100644
--- a/helm/DEVEL/lablgtkmathview/debian/copyright
+++ b/helm/DEVEL/lablgtkmathview/debian/copyright
@@ -15,19 +15,7 @@ Copyright:
  This file is part of lablgtkmathview, the Ocaml binding
  for the GtkMathView widget.
  
- lablgtkmathview is free software; you can redistribute it and/or
- modify it under the terms of the GNU General Public License
- as published by the Free Software Foundation; either version 2
- of the License, or (at your option) any later version.
- 
- lablgtkmathview is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- GNU General Public License for more details.
- 
- You should have received a copy of the GNU General Public License
- along with lablgtkmathview; if not, write to the Free Software
- Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- 
- For details, send a mail to the author.
- 
+ lablgtkmathview is free software, you can redistribute it and/or modify
+ it under the terms of the GNU General Public License.  You can find a
+ copy of the license in /usr/share/common-licenses/GPL.
+
diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index 601b933c4..2578e3efd 100755
--- a/helm/DEVEL/lablgtkmathview/debian/rules
+++ b/helm/DEVEL/lablgtkmathview/debian/rules
@@ -24,7 +24,7 @@ build-stamp:
 
 	# Add here commands to compile the package.
 	$(MAKE)
-	-test -x /usr/bin/ocamlopt && $(MAKE) opt
+	if [ -x /usr/bin/ocamlopt ]; then $(MAKE) opt; else true; fi
 
 	touch build-stamp