Download
Shortcuts
debug
distribution
factory
ports
repositories
source
tumbleweed
update
MirrorCache
Mirrors
Packages
Projects
Efficiency
Statistics
User menu
Log in
Reports
All Mirrors
15.4 Mirrors
15.5 Mirrors
TW Mirrors
Build Service Mirrors
Downloads/project
Downloads/mirror
Downloads/OS
Downloads/country
Downloads/arch
Downloads/type
^
repositories
home:
lorenz:
idris
openSUSE_Tumbleweed
src
Name
Last Modified
Size
Parent Directory
idris2-0.7.0.git.20250706.9cb6c3e-17.1.src.rpm
17-Jul-2025 19:41
6.9MiB