_:

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