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

Rodrigo Arias Mallo 20ded0c0df Change the GPI-2 URL to a public repository ...

Reviewed-by: Aleix Roca Nonell <aleix.rocanonell@bsc.es>

2023-11-24 14:49:03 +01:00

..

default.nix

Change the GPI-2 URL to a public repository

2023-11-24 14:49:03 +01:00