diff options
author | Pol Dellaiera <pol.dellaiera@protonmail.com> | 2024-03-15 04:52:44 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-15 04:52:44 +0100 |
commit | 2bcf18c64c66b95e17d9c8755104d33bc5103c63 (patch) | |
tree | df7bc56c5a1ef1f3f96eebcae9ec0aa104f8df82 /pkgs/development/compilers/ciao/default.nix | |
parent | f242fc768bdfcf91d9094a8a8f66551324bf1a47 (diff) | |
parent | d9b79e9307a14c7080a4426d63c8f25be7c3e00e (diff) |
Merge pull request #295632 from GaetanLepage/apptainer
apptainer: 1.2.5 -> 1.3.0
Diffstat (limited to 'pkgs/development/compilers/ciao/default.nix')
0 files changed, 0 insertions, 0 deletions