Index of /ubuntu-ports/pool/universe/c/clips/

../
clips-common_6.30-4.1_all.deb                      28-Apr-2020 08:35              134876
clips-doc_6.30-4.1_all.deb                         28-Apr-2020 08:35            19324252
clips_6.30-4.1_arm64.deb                           28-Apr-2020 08:36               15392
libclips-dev_6.30-4.1_arm64.deb                    28-Apr-2020 08:36              400568
libclips_6.30-4.1_arm64.deb                        28-Apr-2020 08:36              279404