2023-11-30 19:59:19 +01:00
|
|
|
_:
|
2023-11-30 15:09:01 +01:00
|
|
|
|
2023-11-30 19:59:19 +01:00
|
|
|
builtins.map (id:
|
|
|
|
builtins.fetchurl
|
2023-12-14 14:20:31 +01:00
|
|
|
"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
|
|
|
|
[ "b7da18961474d4fc757adfa10558d5a3c4ec893c" ]
|