c16d937335
PR: ports/157605 Submitted by: Rainer Hurling <rhurlin@gwdg.de> Approved by: maintainer(timeout, >20 days) |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-install | ||
pkg-plist |
c16d937335
PR: ports/157605 Submitted by: Rainer Hurling <rhurlin@gwdg.de> Approved by: maintainer(timeout, >20 days) |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr | ||
pkg-install | ||
pkg-plist |