The following commit has been merged in the master branch: commit 24df54c10566f082ce7c4dd30035d96aaf8a1947 Author: Hendrik Tews <hend...@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 <hend...@askra.de>, Mon, 19 Mar 2012 11:09:15 +0100 + -- Hendrik Tews <hend...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits