app-emulation/ruffle-0_p20241129
app-emulation/ruffle-0_p20250124
dev-java/scala-cli-bin-1.5.4:!amd64+!arm64
dev-java/scala-cli-bin-1.6.1:!amd64+!arm64
dev-lang/dafny-4.8.0
dev-lang/dafny-4.8.1
dev-lang/dafny-4.9.0
dev-lang/dafny-4.9.1
dev-lang/dafny-4.10.0
media-tv/kodi-21.1-r1
media-tv/kodi-21.2
media-tv/kodi-21.9999
media-tv/kodi-9999
