[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-5-g24df54c

[Hendrik Tews]

The following commit has been merged in the master branch:
commit 24df54c10566f082ce7c4dd30035d96aaf8a1947
Author: Hendrik Tews <hendrik at askra.de>
Date:   Wed Mar 21 22:28:38 2012 +0100

    linitan override and hint on command

diff --git a/debian/README.Debian b/debian/README.Debian
index f9ea4d4..b01e6bd 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -1,6 +1,9 @@
 HOL Light for Debian
 --------------------
 
+On Debian you can use the command hol-light to run HOL Light, see the
+man page hol-light(1).
+
 For information on how to use HOL Light, please visit the HOL Light
 website at http://www.cl.cam.ac.uk/~jrh13/hol-light/
 
@@ -37,4 +40,4 @@ libraries. You should therefore regenerate your snapshots after
 installing security updates.
 
 
- -- Hendrik Tews <hendrik at askra.de>, Mon, 19 Mar 2012 11:09:15 +0100
+ -- Hendrik Tews <hendrik at askra.de>, Wed, 21 Mar 2012 21:48:26 +0100
diff --git a/debian/hol-light.lintian-overrides b/debian/hol-light.lintian-overrides
new file mode 100644
index 0000000..9243c9e
--- /dev/null
+++ b/debian/hol-light.lintian-overrides
@@ -0,0 +1,6 @@
+# hol-light should be Architecture: all, because it only contains
+# sources and architecture independent OCaml files (cmi and cmo).
+# However, until Bug #549679 is fixed, an arch:all package might be
+# uninstallable on some architectures. Therefore, for the time being,
+# hol-light is arch:any although it only installs material in /usr/share.
+hol-light binary: arch-dep-package-has-big-usr-share
\ No newline at end of file

-- 
hol-light packaging