Index of /debian-ports/pool-x32/main/p/petris
Name
Last modified
Size
Description
Parent Directory
-
petris-dbgsym_1.0.1-11_x32.deb
2021-11-08 01:03
17K
petris_1.0.1-11_x32.buildinfo
2021-11-08 01:03
5.7K
petris_1.0.1-11_x32.deb
2021-11-08 01:03
16K
Apache/2.4.38 (Debian) Server at debian.polytech-lille.fr Port 80