I've just released Pure 0.68, grab it while it's hot:
https://github.com/agraef/pure-lang/releases/tag/pure-0.68
This includes the recent changes to the batch compiler as
well as a few fixes in the --check option and flycheck support
introduced in Pure 0.67.
This is accompanied by a few addon modules (pure-avahi/bonjour, pure-ffi, pure-lilv, pure-octave, pure-sockets) which needed updating after the recent changes in the batch compiler, see
https://github.com/agraef/pure-lang/releases. (A few other addon modules only got updated in the git repo since the changes were purely cosmetic and thus don't require a release at this time.)
It will take a while to update all those packages. Arch will be the quickest, as usual. If you run anything else, please have patience or compile from source.