OPM/opm-core — pull request #211 by akva2 (2013-03-19 16:13:58+00:00)
Title: small update to debian packaging

previously, runtime would depend on doc. now it's as expected
with no dependencies between the two.