Index of /debian-available/pool/non-free/i/ikos/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ikos_3.5-2.debian.tar.xz7.5 KiB2025-Apr-04 00:05
ikos_3.5-2.dsc2.2 KiB2025-Apr-04 00:05
ikos_3.5-2_amd64.deb9.8 MiB2025-Apr-04 03:03
ikos_3.5-2_arm64.deb8.6 MiB2025-Apr-04 03:14
ikos_3.5-2_mips64el.deb8.7 MiB2025-Apr-04 06:31
ikos_3.5-2_ppc64el.deb9.5 MiB2025-Apr-04 03:03
ikos_3.5-2_riscv64.deb8.8 MiB2025-Apr-04 04:15
ikos_3.5.orig.tar.gz1.3 MiB2025-Mar-29 17:43
libikos-dev_3.5-2_amd64.deb172.2 KiB2025-Apr-04 03:03
libikos-dev_3.5-2_arm64.deb172.2 KiB2025-Apr-04 03:14
libikos-dev_3.5-2_mips64el.deb172.2 KiB2025-Apr-04 06:31
libikos-dev_3.5-2_ppc64el.deb172.2 KiB2025-Apr-04 03:03
libikos-dev_3.5-2_riscv64.deb172.2 KiB2025-Apr-04 04:15
libikos_3.5-2_amd64.deb263.5 KiB2025-Apr-04 03:03
libikos_3.5-2_arm64.deb244.5 KiB2025-Apr-04 03:14
libikos_3.5-2_mips64el.deb275.0 KiB2025-Apr-04 06:31
libikos_3.5-2_ppc64el.deb265.0 KiB2025-Apr-04 03:03
libikos_3.5-2_riscv64.deb967.5 KiB2025-Apr-04 04:15