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
|
|
|
|
|
"https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${id}.patch") [
|
2023-12-13 14:40:20 +01:00
|
|
|
"1b6b0b50a1409fd2e2e5436305f01ee3a8981b58"
|
|
|
|
|
"aa9b3f496f43354b6be23bd705af007c123de14b"
|
|
|
|
|
"7c3022757766b04e6b7267417527b3043589dec3"
|
|
|
|
|
"a13589fd759d0e37a063429c669cc892c472ab6e"
|
|
|
|
|
"4383cfd3461889adac56e4d8bf105d35b37f7be4"
|
|
|
|
|
"783f1ed23b4ae8b150d121eaa7ba0533756d2071"
|
|
|
|
|
"d61f12223b16b46a369e938a166900a3c444b012"
|
|
|
|
|
"590474130fed63074092c4273781fac27512ccef"
|
|
|
|
|
"2ae30924fe6ede0a70f4381055a33cb1b28b2f3a"
|
|
|
|
|
"8ed3e06e90d5d614b703253acb2ebf6435e2d281"
|
|
|
|
|
"67dfffc3387649e8141b4e79c8f94d3abb237ef1"
|
|
|
|
|
"22edf5e2fb30f9dcdc61f69d1d59a81e0adc85e9"
|
|
|
|
|
"9957049894d63a1e61d51ea8ecb9b49f4b3cc296"
|
|
|
|
|
"2b7ce11bd2ead96fdda5e4dbd1171b7c5d4d140d"
|
|
|
|
|
"286a789c539274b117604664bbd69a6172680eda"
|
|
|
|
|
"6c39ac708e6abbb395218ab092f74f234535727f"
|
2023-11-30 15:09:01 +01:00
|
|
|
]
|
