# 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
hol-light: package-contains-documentation-outside-usr-share-doc [usr/share/hol-light/*]
