License Violation - ksh

Hello,
Someone on IRC just posted this link http://www.delilinux.de/oksh/ , seems
like someone ported OpenBSD ksh to Linux and licensed it under GPLv3. Isn't
this a license violation?