vdWielen's - Repositories & OS Images

Directory: /mirrors/Ubuntu_Ports/pool/multiverse/i/ikos/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
ikos_3.5-2_riscv64.deb	9.8 MiB	07-05-2025 18:20
libikos-dev_3.5-2_riscv64.deb	173.1 KiB	07-05-2025 18:20
libikos_3.5-2_riscv64.deb	1.2 MiB	07-05-2025 18:20
ikos_3.5-2_s390x.deb	12.5 MiB	03-05-2025 11:01
libikos-dev_3.5-2_s390x.deb	173.1 KiB	03-05-2025 11:01
libikos_3.5-2_s390x.deb	291.8 KiB	03-05-2025 11:01
libikos_3.5-2_ppc64el.deb	296.8 KiB	03-05-2025 10:59
libikos-dev_3.5-2_ppc64el.deb	173.1 KiB	03-05-2025 10:59
ikos_3.5-2_ppc64el.deb	10.7 MiB	03-05-2025 10:59
libikos-dev_3.5-2_armhf.deb	172.5 KiB	03-05-2025 10:57
libikos_3.5-2_armhf.deb	285.9 KiB	03-05-2025 10:57
ikos_3.5-2_armhf.deb	9.6 MiB	03-05-2025 10:57
ikos_3.5-2_arm64.deb	9.7 MiB	03-05-2025 10:55
libikos_3.5-2_arm64.deb	280.1 KiB	03-05-2025 10:55
libikos-dev_3.5-2_arm64.deb	173.1 KiB	03-05-2025 10:55
ikos_3.5-2.dsc	2.2 KiB	01-05-2025 18:04
ikos_3.5.orig.tar.gz	1.3 MiB	01-05-2025 18:04
ikos_3.5-2.debian.tar.xz	7.5 KiB	01-05-2025 18:04
libikos_3.2-3_riscv64.deb	1.2 MiB	21-02-2024 07:33
libikos-dev_3.2-3_riscv64.deb	172.6 KiB	21-02-2024 07:33
ikos_3.2-3_riscv64.deb	9.8 MiB	21-02-2024 07:33
ikos_3.2-3_s390x.deb	12.7 MiB	21-02-2024 06:49
libikos_3.2-3_s390x.deb	299.6 KiB	21-02-2024 06:49
libikos-dev_3.2-3_s390x.deb	172.6 KiB	21-02-2024 06:49
libikos_3.2-3_ppc64el.deb	303.8 KiB	21-02-2024 06:49
libikos-dev_3.2-3_ppc64el.deb	172.6 KiB	21-02-2024 06:49
ikos_3.2-3_ppc64el.deb	10.8 MiB	21-02-2024 06:49
libikos_3.2-3_armhf.deb	288.6 KiB	21-02-2024 06:49
libikos-dev_3.2-3_armhf.deb	172.6 KiB	21-02-2024 06:49
ikos_3.2-3_armhf.deb	9.6 MiB	21-02-2024 06:49
ikos_3.2-3_arm64.deb	9.8 MiB	21-02-2024 06:49
libikos_3.2-3_arm64.deb	285.7 KiB	21-02-2024 06:49
libikos-dev_3.2-3_arm64.deb	172.6 KiB	21-02-2024 06:49
ikos_3.2-3.dsc	2.2 KiB	21-02-2024 05:58
ikos_3.2-3.debian.tar.xz	7.6 KiB	21-02-2024 05:58
ikos_3.2.orig.tar.gz	1.3 MiB	15-02-2024 12:26