mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-30 06:08:37 +02:00
Merge branch 'devel' into 'main'
qtwebkit unavailable See merge request glicid-public/guix-glicid!245
This commit is contained in:
commit
70a00467d9
1 changed files with 3 additions and 1 deletions
|
@ -113,7 +113,7 @@
|
||||||
("eigen" ,eigen)
|
("eigen" ,eigen)
|
||||||
;; ("loki" ,loki)
|
;; ("loki" ,loki)
|
||||||
;; ("vtk" ,vtk)
|
;; ("vtk" ,vtk)
|
||||||
("qtwebkit" ,qtwebkit)
|
;; ("qtwebkit" ,qtwebkit)
|
||||||
("openblas" ,openblas)
|
("openblas" ,openblas)
|
||||||
("suitesparse" ,suitesparse)
|
("suitesparse" ,suitesparse)
|
||||||
("gcc-toolchain" ,gcc-toolchain)
|
("gcc-toolchain" ,gcc-toolchain)
|
||||||
|
@ -135,3 +135,5 @@
|
||||||
(inherit (transform-package ((instead-of "openmpi-glicid-waves" openmpi)
|
(inherit (transform-package ((instead-of "openmpi-glicid-waves" openmpi)
|
||||||
yade) "waves"))
|
yade) "waves"))
|
||||||
(name "yade-glicid-waves")))
|
(name "yade-glicid-waves")))
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue