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

_:

builtins.map (id:
  builtins.fetchurl
  "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")
[ "0e8fc7cd890b9a8bdc9cc5b3e40fe11a717b69af" ]
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(ds-fr): Correctly apply patches 2023-11-30 19:59:19 +01:00			`builtins.map (id:`
			`builtins.fetchurl`
feat(ds-fr): Update our version 2023-12-14 14:20:31 +01:00			`"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch")`
feat(ds-fr): Update 2024-01-11 13:38:29 +01:00			`[ "0e8fc7cd890b9a8bdc9cc5b3e40fe11a717b69af" ]`