Hello Dan,
It would be nice to include the bug title in the subject, so people
looking at the mail don't have to go to the issue tracker to see what
the mail refers to.
Dan Frumin ezt írta (időpont: 2018. dec. 18., K, 15:54):
>
> Well it looks like this has been resolved in
>
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
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