bug#38959: Adding Coq 8.10.1 for Int63.Ring63 and Coq-Bignums

2020-01-05 Thread Brett Gilio
Julien Lepiller writes: > Le 5 janvier 2020 18:04:16 GMT-05:00, Brett Gilio a écrit : >>Hey all, and particularly the FM-Guix working group. I'd like to get >>Coq >>8.10.1 into Guix as it provides support for the new Int63.Ring63 theory >>number library. This would be immensely helpful in

bug#38944: libtgvoip fails to build on i686-linux

2020-01-05 Thread Brett Gilio
Diego Nicola Barbato writes: > Hi Guix, > > The package libtgvoip (introduced with commit 494135d) fails to build on > i686-linux [0]. Since this appears to be related to SSE2 these two > Debian patches [1] [2], which disable SSE2 on i386 (the first patch does > something unrelated, but it's

bug#38943: libtgvoip fails to build on armhf-linux

2020-01-05 Thread Brett Gilio
Brett Gilio writes: > Diego Nicola Barbato writes: > >> Hi Guix, >> >> The package libtgvoip (introduced with commit 494135d) fails to build on >> armhf-linux [0]. This bug appears to have been fixed upstream [1]. >> >> Regards, >> >> Diego >> >> [0]: >>

bug#38943: libtgvoip fails to build on armhf-linux

2020-01-05 Thread Brett Gilio
Diego Nicola Barbato writes: > Hi Guix, > > The package libtgvoip (introduced with commit 494135d) fails to build on > armhf-linux [0]. This bug appears to have been fixed upstream [1]. > > Regards, > > Diego > > [0]: >

bug#38959: Adding Coq 8.10.1 for Int63.Ring63 and Coq-Bignums

2020-01-05 Thread Julien Lepiller
Le 5 janvier 2020 18:04:16 GMT-05:00, Brett Gilio a écrit : >Hey all, and particularly the FM-Guix working group. I'd like to get >Coq >8.10.1 into Guix as it provides support for the new Int63.Ring63 theory >number library. This would be immensely helpful in getting the >coq-bignums package

bug#38959: Adding Coq 8.10.1 for Int63.Ring63 and Coq-Bignums

2020-01-05 Thread Brett Gilio
Hey all, and particularly the FM-Guix working group. I'd like to get Coq 8.10.1 into Guix as it provides support for the new Int63.Ring63 theory number library. This would be immensely helpful in getting the coq-bignums package up-to-date with some neat new tactics. I know that the CoqIDE package

bug#38926: pcmanfm-qt unable to open files by double click

2020-01-05 Thread Danny Milosavljevic
In this case I've tried it myself. I've invoked gdb $(which pcmanfm-qt) then r then I double-clicked an entry and waited until the error dialog window appeared. then I DIDN'T CLICK IT AWAY. then I pressed Ctrl-C in gdb then bt and so I found: [...] #6 0x77ea1642 in

bug#38926: pcmanfm-qt unable to open files by double click

2020-01-05 Thread Danny Milosavljevic
Hi Reza, I wouldn't change PATH in a *file manager*, of all programs. That will make the user hate his life should it ever pick up the wrong indirect child executable because of that PATH change--which is opaque the user. (Otherwise, often, your solution would have been the correct

bug#38958: Timestamp out of range; substituting 2514-05-30 01:53:03.999999999

2020-01-05 Thread Roel Janssen
Dear Guix, When inside a container produced with: $ guix environment -CN --ad-hoc ... I encounter a problem when running "make" for some code base: make[3]: /gnu/store/5hkc9q38w6afhrf7xyz5ybxidr87d1mq-profile/include/syslog.h: Timestamp out of range; substituting 2514-05-30 01:53:03.9

bug#38795: "guix build" doesn't find modules from extra channels when building from an expression

2020-01-05 Thread pkill9
Hi Gábor, > This is a possible duplicate of 37399. Can you confirm? Is this the bug? https://debbugs.gnu.org/cgi/bugreport.cgi?bug=37399 If so, yes, it looks like it is caused by the same issue, as when I set GUILE_LOAD_PATH to point to my repository, it finds the module. Thanks

bug#38915: Can't change profile of Bluetooth headphones

2020-01-05 Thread Matthew Leach
Ricardo Wurmus writes: > Hi Matthew, Hi Ricardo, Thanks for your reply. > >> I have a pair of Bluetooth headphones that I I've paired and connected to >> my guix machine. They show up in the 'configuration' tab of >> pavucontrol. By default the profile is 'Headset Head Unit (HSP/HFP)'. >>

bug#38942: nm-applet icons don't appear to be working

2020-01-05 Thread Tobias Geerinckx-Rice via Bug reports for GNU Guix
Matthew, Matthew Leach 写道: Sorry for the noise - please close. You can close any bug by appending -close (or the subtly different -done) to the bug number ‘recipient’ of your reply, as I've done above. Kind regards, T G-R signature.asc Description: PGP signature

bug#38942: nm-applet icons don't appear to be working

2020-01-05 Thread Matthew Leach
raingloom writes: > On Sun, 2020-01-05 at 10:43 +, Matthew Leach wrote: >> Hi Guix, >> >> After a fresh install of guix (using the i3 window manager) the icons >> for nm-applet don't appear to be working. It's constantly showing a >> 'stop-sign' icon. This is both as the sys-tray status

bug#38806: Bug Report

2020-01-05 Thread Gábor Boskovits
Hello, Ludovic Courtès ezt írta (időpont: 2019. dec. 30., H, 22:42): > > Hello, > > Wayne Wallace skribis: > > > I was doing a guix pull on a new VM setup > > Could it be that your VM ran out of memory during ‘guix pull’? (I’d > recommend ~2G of RAM at least.) Last time I checked the VM image

bug#38829: XmlListModel QML missing from qtdeclarative 5.12.x

2020-01-05 Thread Guillaume Le Vaillant
Guillaume Le Vaillant skribis: > In version 5.12.6 of the 'qtdeclarative' package, the > 'lib/qt5/qml/QtQuick/XmlListModel' directory is missing (qtdeclarative > 5.11.3 had it). > > It causes run time issues; for example the 'monero-gui' > package builds fine but it fails to run: > >

bug#38795: "guix build" doesn't find modules from extra channels when building from an expression

2020-01-05 Thread Gábor Boskovits
This is a possible duplicate of 37399. Can you confirm? ezt írta (időpont: 2019. dec. 29., V, 17:07): > > I have added my own repository to my ~/.config/guix/channels.scm > (https://gitlab.com/pkill-9/guix-packages-free), but when I run `guix build > --expression='(use-modules (pkill9 utils))'

bug#38942: nm-applet icons don't appear to be working

2020-01-05 Thread raingloom
On Sun, 2020-01-05 at 10:43 +, Matthew Leach wrote: > Hi Guix, > > After a fresh install of guix (using the i3 window manager) the icons > for nm-applet don't appear to be working. It's constantly showing a > 'stop-sign' icon. This is both as the sys-tray status icon and the > WiFi > signal

bug#38946: guix import fails for cabal-helper

2020-01-05 Thread Sergiu Marton
I've been trying to improve the Haskell tooling we have here on Guix, but I ran into this problem: if I try to do ~guix import hackage cabal-helper~ it fails with: Syntax error: unexpected token : common (at line 76, column 0) Syntax error: unexpected end of input guix import: error: failed to

bug#38926: pcmanfm-qt unable to open files by double click

2020-01-05 Thread Reza Alizadeh Majd
Hi, > Unfortunately, that way is not acceptable. > > Long story short, please make it a regular input. The reasoning is below: > > Guix has better modularity than most of the other distributions that exist. OK, I got your point, so I think following patch could be acceptable now:

bug#38944: libtgvoip fails to build on i686-linux

2020-01-05 Thread Diego Nicola Barbato
Hi Guix, The package libtgvoip (introduced with commit 494135d) fails to build on i686-linux [0]. Since this appears to be related to SSE2 these two Debian patches [1] [2], which disable SSE2 on i386 (the first patch does something unrelated, but it's required for the second one to apply),

bug#38943: libtgvoip fails to build on armhf-linux

2020-01-05 Thread Diego Nicola Barbato
Hi Guix, The package libtgvoip (introduced with commit 494135d) fails to build on armhf-linux [0]. This bug appears to have been fixed upstream [1]. Regards, Diego [0]: https://ci.guix.gnu.org/log/q4j5kzz25j2knf0vhm8i0bd3g14anv8m-libtgvoip-2.4.2 [1]:

bug#38942: nm-applet icons don't appear to be working

2020-01-05 Thread Matthew Leach
Hi Guix, After a fresh install of guix (using the i3 window manager) the icons for nm-applet don't appear to be working. It's constantly showing a 'stop-sign' icon. This is both as the sys-tray status icon and the WiFi signal strength icon in the context list (see attached screenshots). Regards,

bug#38926: pcmanfm-qt unable to open files by double click

2020-01-05 Thread Danny Milosavljevic
Hi, thanks for the patch. Unfortunately, that way is not acceptable. Long story short, please make it a regular input. The reasoning is below: Guix has better modularity than most of the other distributions that exist. One of the main uses of modularity is isolation. If one module uses