Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 88d4d8e317 - Show all commits

View File

@@ -10,8 +10,6 @@
, nosv
, mpi
, tampi
, tagaspi
, gpi-2
, openblas
, ovni
, gitBranch ? "master"
@@ -40,8 +38,6 @@ stdenv.mkDerivation rec {
nosv
mpi
tampi
tagaspi
gpi-2
openblas
openblas.dev
ovni