This repository has been archived on 2025-10-29. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Rodrigo Arias 63c78f50de Fix OpenMPI and Extrae clash

2020-06-15 17:19:36 +02:00

..

default.nix

Fix OpenMPI and Extrae clash

2020-06-15 17:19:36 +02:00