* non-free/cuda.scm (cuda): Change to CUDA-11.0.
* inria/tainted/storm.scm (starpu+cuda)[native-inputs]: Remove
NO-FLOAT128.
[build-system]: Remove.