Well it looks like this has been resolved in
8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9
Oh, I forgot about another potential issue: right now the Coq package
_hardcodes_ the use of Icecat as a default browser:
(modify-phases %standard-phases
(replace 'configure
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out")
I believe that the current Coq package [1] pulls in way too many dependencies.
Firstly, as it was already mentioned on Guix-devel [2], the package pulls in
texlive and Hevea.
I think those are needed only for building the pdf reference manual.
Secondly, the Coq package depends on lablgtk -- I g
