Bug#848131: libmpich.so.12: cannot open shared object file: No such file or directory

[Ximin Luo]

Package: tachyon-bin-nox
Version: 0.99~b6+dsx-6
Severity: grave
Tags: patch
Justification: renders package unusable

Dear Maintainer,

This package is missing either a direct or indirect dependency libmpich12:

(unstable-amd64-sbuild)infinity0:/build/sagemath-fBCYuv/sagemath-7.4$ tachyon-nox
tachyon-nox: error while loading shared libraries: libmpich.so.12: cannot open shared object file: No such file or directory

$ apt-file search libmpich.so.12
libmpich12: /usr/lib/x86_64-linux-gnu/libmpich.so.12

After I install the package, it works.

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable-debug'), (500, 'testing-debug'), (300, 'unstable'), (200, 'experimental'), (1, 'experimental-debug')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.8.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)