[SCM] maria packaging branch, master, updated. upstream/1.2-22-gc4c33c2

[Ralf Treinen]

The following commit has been merged in the master branch:
commit e8e428483b506710ddd48e1182f744fab98ff476
Author: Ralf Treinen <treinen at debian.org>
Date:   Wed Jul 6 20:44:25 2005 +0200

    Imported Debian patch 1.3.4-6

diff --git a/debian/README.examples b/debian/README.examples
index c505411..0a7ff2f 100644
--- a/debian/README.examples
+++ b/debian/README.examples
@@ -14,7 +14,7 @@ for instance dining.pn, by typing
 
   maria -b dining.pn
 
-Note that this make take a *lot* of time for some of the examples
+Note that this may take a *lot* of time for some of the examples
 provided since a reachability analysis is performed when loading the
 model.  Then, you may issue at the maria shell prompt the following
 commands (among others):
@@ -23,10 +23,12 @@ commands (among others):
   dumpgraph  to obtain a textual representation of the reachability graph
 
 If the "graphviz" package is installed on your system you may also
-obtain a graphical output by using instead "visual dump",
-resp. "visual dumpgraph".
+obtain a graphical output by issuing the following commands:
+
+ visual dump        graphical representation of the syntax graph
+ visual dumpgraph   graphical representation of the reachability graph
 
 Please refer to the maria documentation (available in the package
 maria-doc) for more complete documentation.
 
--- Ralf Treinen <treinen at debian.org>  Feb 13, 2005.
+-- Ralf Treinen <treinen at debian.org>  July 6, 2005.
diff --git a/debian/changelog b/debian/changelog
index 71736ee..5042437 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+maria (1.3.4-6) unstable; urgency=low
+
+  * Standards Version 3.6.2 (no changes).
+  * Some minor improvements in README.examples.
+  * Rebuild with gcc 4.
+
+ -- Ralf Treinen <treinen at debian.org>  Wed,  6 Jul 2005 20:44:25 +0200
+
 maria (1.3.4-5) unstable; urgency=low
 
   * The binary package maria-vis is no longer build since graphviz is
diff --git a/debian/control b/debian/control
index bb2f6ae..c7b3012 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Priority: optional
 Maintainer: Ralf Treinen <treinen at debian.org>
 Build-Depends: debhelper (>= 4.0), libreadline5-dev, libncurses5-dev, flex, bison, xutils, dpatch
 Build-Depends-Indep: texinfo, texi2html
-Standards-Version: 3.6.1
+Standards-Version: 3.6.2
 
 Package: maria
 Section: math

-- 
maria packaging