Index of /debian-ports/pool-x32/main/g/gnome-system-tools
Name
Last modified
Size
Description
Parent Directory
-
gnome-system-tools-dbgsym_3.0.0-10_x32.deb
2024-04-10 08:03
467K
gnome-system-tools_3.0.0-10_x32.buildinfo
2024-04-10 08:03
16K
gnome-system-tools_3.0.0-10_x32.deb
2024-04-10 08:03
3.9M
Apache/2.4.38 (Debian) Server at debian.polytech-lille.fr Port 80