@ -8,4 +8,5 @@ eselect-gnome-shell-extensions
#-world(#-cl_pass_file-#)-#
!!eselect-cblas:0
!!eselect-gnome-shell-extensions:0
!!eselect-opencascade:0
#in#
@ -5,6 +5,7 @@
!!eclib:0
!!giac:0
# not compiled
!!polymake:0
!!singular:0
!!why3-for-spark:0