Package: libjhdf5-jni Status: install ok not-installed Priority: optional Section: java Package libjhdf5-jni is not installed.