forked from DGNum/infrastructure
6 lines
163 B
Nix
6 lines
163 B
Nix
_:
|
|
|
|
builtins.map (id:
|
|
builtins.fetchurl
|
|
"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
|
|
[ "917669e4fd55d961793af7a44738e96d72b66507" ]
|