@MutoShack nice.

sorry to hear about the breakage :( hopefully you'll be able to get back on it soon again though :)

also, quick guix question if you don't mind: what's the process of using an older version of a package like, with guix? e.g. the package 'coq' is on 8.8.0 right now, but i'd like to use 8.7.2
http://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/ocaml.scm?id=aaa2a8bbf38449d18671abb98fcd0f6f65091710#n457