I believe that the current Coq package  pulls in way too many dependencies. Firstly, as it was already mentioned on Guix-devel , 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 guess this is needed for building CoqIDE.Unfortunately, it seems that due to this dependency, the package pulls in all sorts of stuff, including gstreamer and jack!The dependency graph generated by `guix graph coq` is absolutely huge. I think it would be beneficial to split the CoqIDE into a separate package for this reason.
Hello Dan, It would be nice to include the bug title in the subject, so peoplelooking at the mail don't have to go to the issue tracker to see whatthe mail refers to. Dan Frumin <email@example.com> ezt írta (időpont: 2018. dec. 18., K, 15:54):
Toggle quote (6 lines)>> Well it looks like this has been resolved in 8a2cfc7bea37fd5cc5d384ac16d7cd3bd5603ab9>>>
I have seen two other problems raised on this issue. If they are stillrelevant, please retitle this issue to reflect the new state.You can do that by sending a mail to the control server. You can havea look at the control commands athttps://debbugs.gnu.org/server-control.html. If you feel this issue can be closed, please feel free to do so bysending a message to firstname.lastname@example.org. Best regards,g_bor