Studenten Net Twente Mirror service

Index of /pub/linux/ubuntu/pool/multiverse/i/ikos/

Filename Modification time Size
ikos_3.2-3.debian.tar.xz 7804 B
ikos_3.2-3.dsc 2231 B
ikos_3.2-3_amd64.deb 10 MiB
ikos_3.2.orig.tar.gz 1350 KiB
ikos_3.5-2.debian.tar.xz 7692 B
ikos_3.5-2.dsc 2231 B
ikos_3.5-2_amd64.deb 10 MiB
ikos_3.5.orig.tar.gz 1351 KiB
libikos-dev_3.2-3_amd64.deb 173 KiB
libikos-dev_3.5-2_amd64.deb 173 KiB
libikos_3.2-3_amd64.deb 290 KiB
libikos_3.5-2_amd64.deb 291 KiB