bug#23961: seems to be fixed

2019-05-21 Thread Robert Vollmert
This seems to be fixed. With current guix, both guix import hackage gtk3 and the duplicate’s guix import hackage monadplus work.

bug#24450: [PATCHv2] Re: pypi importer outputs strange character series in optional dependency case.

2019-05-21 Thread Maxim Cournoyer
Greetings! Ludovic Courtès writes: > Hello! > > Maxim Cournoyer skribis: > >> Ricardo Wurmus writes: >> >>> Hi Maxim, >>> >>> I would very much like to see your improvements to the pypi importer to >>> be merged. Have you been able to separate the independent changes as >>> suggested by Ludo?

bug#35853: gnome-tweaks unable to manage gnome shell extentions

2019-05-21 Thread Jack Hill
Hello Guix, Today I noticed that gnome-tweaks in unable to manage gnome shell extensions. I have the gnome-shell-extensions package installed in my profile, but the extensions tab in tweaks says, "no extensions installed". However extensions are installed, and the two extensions I enabled pre

bug#35625: Python3 Cannot Find Existing Shared Library within guix environment

2019-05-21 Thread Jesse Gibbons
When I set LD_LIBRARY_PATH=$LIBRARY_PATH before I run the program in the guix environment I get an error like the following: ** (journal.py:22592): WARNING **: 23:24:01.406: Failed to load shared library 'libwebkit2gtk-4.0.so.37' referenced by the typelib: /gnu/store/4sqps8dczv3g7rwbdibfz6rf5jlk7