Update packaging
authorStephane Glondu <steph@glondu.net>
Tue, 21 Oct 2014 10:04:53 +0000 (12:04 +0200)
committerStephane Glondu <steph@glondu.net>
Tue, 21 Oct 2014 14:51:29 +0000 (16:51 +0200)
commitf8d80491ee3048aee2a6864c09d2b9bbd2f2fee9
tree02401e23ae30a12c6671ffe5f52512129b0758ca
parent2ba0052ec94ac53235eb5e2e93fbce72ba67cc74
Update packaging
debian/control
debian/control.in
debian/ocaml-compiler-libs.install.in
debian/ocaml-nox.install.in
debian/rules