Merge requests · RNL / Nix RNL · GitLab

Resolve "Add Wheatley" 1 of 3 checklist items completed

!77 · created Feb 18, 2024 by Nuno Alves
enhancement software
- Merged
- 1
- Approved
updated Mar 27, 2025
Resolve "Add coq package" 0 of 3 checklist items completed

!92 · created Apr 27, 2024 by André Romão
enhancement sitelabs software
- Merged
- 1
- Approved
updated Apr 27, 2024
profiles/software/labs: add gnuplot (OC) 0 of 1 checklist item completed

!36 · created Sep 19, 2023 by Diogo Cardoso
sitelabs software
- Merged
- Approved
updated Sep 20, 2023