Rodrigo Arias f640bc851e Remove unused nix files		2023-03-24 12:08:45 +00:00
..
ovni.nix	Use the default mpi implementation	2023-03-24 12:08:45 +00:00
rt.nix	Use master branch of bscpkgs	2023-03-20 20:52:49 +01:00