Some raw_spacetime files are not installed on non-opt architectures
authorXimin Luo <infinity0@debian.org>
Fri, 3 Mar 2017 22:38:11 +0000 (23:38 +0100)
committerXimin Luo <infinity0@debian.org>
Fri, 3 Mar 2017 22:38:11 +0000 (23:38 +0100)
commite28c4441f85a48c72d6f862b8aec22fdcccc83fe
treee3b1cd2b06b8714464be5e93f98776bd862809e3
parent1053f13572176c21683bc8af8783f6135513fc54
Some raw_spacetime files are not installed on non-opt architectures

Not sure that this is the best solution, but do it for now so we can release
debian/ocaml-base-nox.install.in
debian/ocaml-nox.install.in