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


../
clips_6.24-3.2_hppa.buildinfo                      22-Dec-2016 12:03                4541
clips_6.24-3.2_hppa.deb                            22-Dec-2016 12:03               19750
libclips-dev_6.24-3.2_hppa.deb                     22-Dec-2016 12:03              445604
libclips_6.24-3.2_hppa.deb                         22-Dec-2016 12:03              320300