Index of /debian-ports/pool-x32/main/c/clipman
Name
Last modified
Size
Description
Parent Directory
-
clipman_1.2.0+git20200218.39fd4fe-2+b9_x32.buildinfo
2023-10-18 14:03
6.3K
clipman_1.2.0+git20200218.39fd4fe-2+b9_x32.deb
2023-10-18 14:03
124K
Apache/2.4.38 (Debian) Server at debian.polytech-lille.fr Port 80