jopejoe1 0f47d4b51c minecraft-server: 1.20 -> 1.20.1, 1.7.9 -> 1.7.10		2023-08-02 15:31:56 +02:00
..
default.nix
derivation.nix
update.py	minecraft-server: fix update script	2023-08-02 15:30:35 +02:00
versions.json	minecraft-server: 1.20 -> 1.20.1, 1.7.9 -> 1.7.10	2023-08-02 15:31:56 +02:00