applications
|
signal-desktop: 5.24.0 -> 5.25.0
|
2021-12-01 23:24:20 +01:00 |
data
|
matcha-gtk-theme: 2021-09-24 -> 2021-11-29
|
2021-12-01 10:30:32 -03:00 |
games
|
minecraft-server: 1.17.1 -> 1.18
|
2021-11-30 16:02:00 -05:00 |
misc
|
ionide.ionide-fsharp: 5.5.5 -> 5.10.1
|
2021-11-29 21:17:40 -05:00 |
os-specific
|
Merge pull request #146972 from mkg20001/nvx11
|
2021-11-30 20:21:43 +01:00 |
tools
|
starship: build with notification support
|
2021-12-01 18:17:24 -08:00 |
top-level
|
coq_8_14: 8.14.0 → 8.14.1
|
2021-12-01 13:46:15 +01:00 |