../ ikos_3.2-3.debian.tar.xz 06-May-2024 18:03 7804 ikos_3.2-3.dsc 06-May-2024 18:03 2231 ikos_3.2-3_amd64.deb 06-May-2024 18:03 10M ikos_3.2.orig.tar.gz 06-May-2024 18:03 1M libikos-dev_3.2-3_amd64.deb 06-May-2024 18:03 173K libikos_3.2-3_amd64.deb 06-May-2024 18:03 290K