Index of /debian-ports/pool-x32/main/c/clipman/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
clipman_1.2.0+git20200218.39fd4fe-2+b13_x32.buildinfo 65172024-Dec-30 09:03
clipman_1.2.0+git20200218.39fd4fe-2+b13_x32.deb 1259082024-Dec-30 09:03