_:

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