|
11.nix
|
openjfx11: remove gtk2
|
2023-02-04 12:17:06 +00:00 |
|
15.nix
|
openjfx15: add with{Media,Webkit} options
|
2023-02-04 12:17:06 +00:00 |
|
17.nix
|
openjfx17: 17.0.5+1 -> 17.0.6+3
|
2023-02-03 10:47:29 +00:00 |
|
19.nix
|
openjfx19: 19+11 -> 19.0.2.1+1
|
2023-02-03 18:05:35 +00:00 |
