infrastructure/machines/compute01/ds-fr/package/dgnum.nix
2023-12-14 16:45:59 +01:00

6 lines
163 B
Nix

_:
builtins.map (id:
builtins.fetchurl
"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
[ "917669e4fd55d961793af7a44738e96d72b66507" ]