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


../
clips-dbgsym_6.30-4.1_x32.deb                      31-Mar-2020 06:03                2184
clips_6.30-4.1_x32.buildinfo                       31-Mar-2020 06:03                5986
clips_6.30-4.1_x32.deb                             31-Mar-2020 06:03               22148
libclips-dev_6.30-4.1_x32.deb                      31-Mar-2020 06:03              408112
libclips_6.30-4.1_x32.deb                          31-Mar-2020 06:03              320432