This is GF version 4.0.0.

Built on linux/x86_64 with ghc-8.0, flags: interrupt server