infrastructure/machines/compute01/ds-fr/package/dgnum.nix

_:

builtins.map
  (id: builtins.fetchurl "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
  [ "0b9b32483a700ad3060b3d4ef723d5f40c290c62" ]
feat(ds-fr): Correctly apply patches 2023-11-30 19:59:19 +01:00			`_:`
feat(ds-fr): Split out our commits 2023-11-30 15:09:01 +01:00
feat(shell): Add pre-commit hooks and reformat the repo 2024-02-02 10:51:31 +01:00			`builtins.map`
			`(id: builtins.fetchurl "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")`
			`[ "0b9b32483a700ad3060b3d4ef723d5f40c290c62" ]`