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