[SCM] mona packaging branch, master, updated. upstream/1.4-2-17-g7d5620d

[Ralf Treinen]

The following commit has been merged in the master branch:
commit b855c7018035b9ec614cf0f9c2ae20887206b18b
Author: Ralf Treinen <treinen at debian.org>
Date:   Sun Apr 24 09:19:37 2011 +0200

    Imported Debian patch 1.4-13-2

diff --git a/debian/changelog b/debian/changelog
index 955dbb8..dcd2a53 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+mona (1.4-13-2) unstable; urgency=low
+
+  * Switch to source format 3.0 (quilt)
+  * Do not install .la files (closes: #622521)
+  * Standards-Version 3.9.2 (no change)
+  * Short description: do not start with an article
+  * Add dependency on ${misc:depends}
+
+ -- Ralf Treinen <treinen at debian.org>  Sun, 24 Apr 2011 09:19:37 +0200
+
 mona (1.4-13-1) unstable; urgency=low
 
   * New upstream release
diff --git a/debian/control b/debian/control
index 18fb478..77db191 100644
--- a/debian/control
+++ b/debian/control
@@ -3,14 +3,14 @@ Section: math
 Priority: optional
 Maintainer: Ralf Treinen <treinen at debian.org>
 Build-Depends: debhelper (>= 7.0), bison, flex, autotools-dev, chrpath
-Standards-Version: 3.8.3
+Standards-Version: 3.9.2
 Homepage: http://www.brics.dk/~amoeller/mona/index.html
 
 Package: mona
 Architecture: any
-Depends: ${shlibs:Depends}
+Depends: ${shlibs:Depends}, ${misc:Depends}
 Recommends: graphviz
-Description: a theorem prover based on automata
+Description: theorem prover based on automata
  MONA is a tool that translates formulas in the logics WS1S or WS2S
  into finite-state automata represented by BDDs.  The formulas may
  express search patterns, temporal properties of reactive systems,
diff --git a/debian/rules b/debian/rules
index bc06f34..1e87aca 100755
--- a/debian/rules
+++ b/debian/rules
@@ -56,6 +56,9 @@ install: build
 	done
 	chrpath -d $(INSTALLROOT)/usr/bin/mona
 
+	# do not install .la files
+	rm $(INSTALLROOT)/usr/lib/*.la
+
 	# make install seems to misplace this one
 	-rm $(INSTALLROOT)/usr/share/mona-mode.el
 	cp mona-mode.el $(INSTALLROOT)/usr/share/emacs/site-lisp/mona
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)

-- 
mona packaging