Index of /debian-ports/pool-x32/main/g/gir-to-d
Name
Last modified
Size
Description
Parent Directory
-
gir-to-d-dbgsym_0.23.2-1_x32.deb
2024-02-19 01:03
1.3M
gir-to-d_0.23.2-1_x32.buildinfo
2024-02-19 01:03
6.9K
gir-to-d_0.23.2-1_x32.deb
2024-02-19 01:03
350K
Apache/2.4.38 (Debian) Server at debian.polytech-lille.fr Port 80