Pontus Stenetorp 75a93dfecc julia: move patches into separate directories ... Makes the top-level directory organisation easier with an increasing number of patches.		2021-04-28 06:55:52 +00:00
..
patches	julia: move patches into separate directories	2021-04-28 06:55:52 +00:00
1.0.nix	julia: move patches into separate directories	2021-04-28 06:55:52 +00:00
1.5.nix	julia: move patches into separate directories	2021-04-28 06:55:52 +00:00
update-1.5.py	julia: add update script, and 1.5.3 -> 1.5.4 (#116466)	2021-03-25 11:32:14 +01:00