Index of /debian/pool/non-free/i/ikos/?C=M&O=D

/debian/pool/non-free/i/ikos/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ikos_3.5-2_riscv64.deb8.8 MiB2025-Apr-03 23:15
libikos-dev_3.5-2_riscv64.deb172.2 KiB2025-Apr-03 23:15
libikos_3.5-2_riscv64.deb967.5 KiB2025-Apr-03 23:15
ikos_3.5-2_arm64.deb8.6 MiB2025-Apr-03 22:14
libikos-dev_3.5-2_arm64.deb172.2 KiB2025-Apr-03 22:14
libikos_3.5-2_arm64.deb244.5 KiB2025-Apr-03 22:14
ikos_3.5-2_amd64.deb9.8 MiB2025-Apr-03 22:03
libikos-dev_3.5-2_amd64.deb172.2 KiB2025-Apr-03 22:03
libikos_3.5-2_amd64.deb263.5 KiB2025-Apr-03 22:03
ikos_3.5-2_ppc64el.deb9.5 MiB2025-Apr-03 22:03
libikos-dev_3.5-2_ppc64el.deb172.2 KiB2025-Apr-03 22:03
libikos_3.5-2_ppc64el.deb265.0 KiB2025-Apr-03 22:03
ikos_3.5-2_i386.deb11.2 MiB2025-Apr-03 22:03
libikos-dev_3.5-2_i386.deb172.2 KiB2025-Apr-03 22:03
libikos_3.5-2_i386.deb291.2 KiB2025-Apr-03 22:03
ikos_3.5-2.debian.tar.xz7.5 KiB2025-Apr-03 19:05
ikos_3.5-2.dsc2.2 KiB2025-Apr-03 19:05
ikos_3.5.orig.tar.gz1.3 MiB2025-Mar-29 12:43