Created attachment 196947 [details]
diff file with changed license permissions
I think there is a mistake in SoPlex's license permissions.
According to Zib academic license ( http://scip.zib.de/academic.txt ), the "license applies to you only if you are a member of a noncommercial and academic institution, e.g., a university".
Hence I think no-dist-mirror and no-pkg-mirror should be set. Moreover, I think users should be warned about those strict license requirements before installing, hence I would suggest to also set no-auto-accept.
I prepared a diff file with the proposed changes in case you approve them.
A commit references this bug:
Date: Mon Aug 19 08:32:08 UTC 2019
New revision: 509261
math/SoPlex: License permissions update
Submitted by: Lorenzo Salvadore <firstname.lastname@example.org>