Die GPL hat noch nie den Verkauf verboten. Man muss nur Source-code mitliefern oder ne Quelle fuer selbigen angeben.
...
Was diese Seite nicht tut. Sie bieten nur die *.exe an.
Ausserdem muss die Seite ein Hinweis geben, dass diese Programme über der GPL Lizenz stehen, was die Seite auch nicht tut.