John Darrington <[email protected]> skribis: > On Sat, Nov 23, 2013 at 06:31:22PM +0100, Ludovic Court??s wrote: > > > > Program terminated with signal 11, Segmentation fault. > > #0 0x408701e5 in scm_init_gnutls () from > /usr/lib/i386-linux-gnu/libguile-gnutls-v-1.so > > (gdb) bt full > > #0 0x408701e5 in scm_init_gnutls () from > /usr/lib/i386-linux-gnu/libguile-gnutls-v-1.so > > No symbol table info available. > > #1 0x4012aee2 in scm_dynamic_call () from /usr/lib/libguile-2.0.so.22 > > No symbol table info available. > > #2 0x40093949 in ?? () from /usr/lib/libguile-2.0.so.22 > > No symbol table info available. > > #3 0x40093980 in scm_load_extension () from > /usr/lib/libguile-2.0.so.22 > > No symbol table info available. > > What does ???ldd /usr/lib/i386-linux-gnu/libguile-gnutls-v-1.so??? > report? > > $ ldd /usr/lib/i386-linux-gnu/libguile-gnutls-v-1.so > linux-gate.so.1 => (0xb77c9000) > libgnutls.so.26 => /usr/lib/i386-linux-gnu/libgnutls.so.26 > (0xb76bc000) > libguile.so.17 => /usr/lib/libguile.so.17 (0xb75c0000)
So indeed, that’s the problem: the guile-gnutls package is linked against Guile 1.8. What could work for you is: sudo apt-get remove guile-gnutls guix package -i guile -i gnutls HTH, Ludo’.
