[csw-buildfarm] Missing /opt/csw/lib/libgmp.so on unstable9s

[Maciej Bliziński]

/opt/csw/lib/libgmp.so is reported as present in an installed package,
but it's not on the filesystem:

maciej at unstable9s :~/src/opencsw/pkg/libmpfr/trunk > pkgchk -L
CSWlibgmp-dev | grep libgmp.so
/opt/csw/lib/libgmp.so=libgmp.so.10.0.2 s none CSWlibgmp-dev
/opt/csw/lib/sparcv8plus+vis/libgmp.so=libgmp.so.10.0.2 s none CSWlibgmp-dev
/opt/csw/lib/sparcv8plus/libgmp.so=libgmp.so.10.0.2 s none CSWlibgmp-dev
/opt/csw/lib/sparcv9/libgmp.so=libgmp.so.10.0.2 s none CSWlibgmp-dev
maciej at unstable9s :~/src/opencsw/pkg/libmpfr/trunk > ls -l
/opt/csw/lib/libgmp.so
/opt/csw/lib/libgmp.so: No such file or directory

Buildfarm admins, can you look into it?

Maciej