senko.digital

Welcome to the Senko Digital mirror. This instance is hosted in Frankfurt am Main, Germany. We support HTTP, HTTPS, and rsync.

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
boolector_3.2.4.orig.tar.gz1.5 MiB2026-Jan-30 23:31
boolector_3.2.4-1_ppc64el.deb585.8 KiB2026-Jan-31 00:34
boolector_3.2.4-1_riscv64.deb574.8 KiB2026-Jan-31 01:51
boolector_3.2.4-1_s390x.deb545.7 KiB2026-Jan-31 00:35
boolector_3.2.4-1_armhf.deb516.2 KiB2026-Jan-31 00:34
boolector_3.2.4-1_arm64.deb506.0 KiB2026-Jan-31 00:34
boolector_1.5.118.6b56be4.121013-1.3build1_s390x.deb378.5 KiB2025-Dec-10 00:00
boolector_1.5.118.6b56be4.121013-1.3build1_ppc64el.deb369.7 KiB2025-Dec-09 23:59
boolector_1.5.118.6b56be4.121013-1.3_ppc64el.deb346.1 KiB2022-Nov-12 11:24
boolector_1.5.118.6b56be4.121013-1_powerpc.deb345.4 KiB2012-Oct-29 07:34
boolector_1.5.118.6b56be4.121013-1.1_ppc64el.deb344.3 KiB2022-Jan-03 17:44
boolector_1.5.118.6b56be4.121013-1.3build1_riscv64.deb343.6 KiB2025-Dec-10 03:27
boolector_1.5.118.6b56be4.121013-1.3_s390x.deb322.6 KiB2022-Nov-12 11:24
boolector_1.5.118.6b56be4.121013-1.3build1_arm64.deb321.2 KiB2025-Dec-09 23:58
boolector_1.5.118.6b56be4.121013-1.1_s390x.deb316.3 KiB2022-Jan-03 17:44
boolector_1.5.118.6b56be4.121013-1_arm64.deb315.6 KiB2013-Oct-11 09:38
boolector_1.5.118.6b56be4.121013-1.3_arm64.deb297.6 KiB2022-Nov-12 11:24
boolector_1.5.118.6b56be4.121013-1.3_riscv64.deb294.4 KiB2022-Nov-12 11:43
boolector_1.5.118.6b56be4.121013-1.1_arm64.deb292.7 KiB2022-Jan-03 17:44
boolector_1.5.118.6b56be4.121013-1.1_riscv64.deb292.0 KiB2022-Jan-03 18:23
boolector_1.5.118.6b56be4.121013-1_armhf.deb290.6 KiB2012-Oct-29 03:05
boolector_1.5.118.6b56be4.121013-1.3build1_armhf.deb287.9 KiB2025-Dec-09 23:58
boolector_1.5.118.6b56be4.121013-1.3_armhf.deb283.2 KiB2022-Nov-12 11:24
boolector_1.5.118.6b56be4.121013-1_s390x.deb282.6 KiB2015-Dec-04 19:12
boolector_1.5.118.6b56be4.121013-1build1_ppc64el.deb280.4 KiB2018-Apr-03 19:14
boolector_1.5.118.6b56be4.121013-1.1_armhf.deb279.1 KiB2022-Jan-03 17:44
boolector_1.5.118.6b56be4.121013-1build1_riscv64.deb269.0 KiB2020-Apr-02 17:56
boolector_1.5.118.6b56be4.121013-1build1_s390x.deb267.9 KiB2018-Apr-03 18:07
boolector_1.5.118.6b56be4.121013-1_ppc64el.deb266.2 KiB2014-Feb-18 14:46
boolector_1.5.118.6b56be4.121013-1build1_armhf.deb250.3 KiB2018-Apr-03 19:13
boolector_1.5.118.6b56be4.121013-1build1_arm64.deb241.2 KiB2018-Apr-03 19:13
boolector_1.5.118.6b56be4.121013.orig.tar.gz184.3 KiB2012-Oct-28 23:08
boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz162.4 KiB2012-Oct-28 23:08
boolector_1.5.118.6b56be4.121013-1.3build1.debian.tar.xz5.5 KiB2025-Dec-09 23:53
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz5.4 KiB2022-Nov-12 11:24
boolector_1.5.118.6b56be4.121013-1.debian.tar.gz4.7 KiB2012-Oct-28 23:08
boolector_1.5.118.6b56be4.121013-1build1.debian.tar.xz4.7 KiB2018-Apr-03 18:04
boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz4.6 KiB2022-Jan-03 17:24
boolector_3.2.4-1.debian.tar.xz3.2 KiB2026-Jan-30 23:31
boolector_1.5.118.6b56be4.121013-1build1.dsc2.2 KiB2018-Apr-03 18:04
boolector_1.5.118.6b56be4.121013-1.3build1.dsc2.1 KiB2025-Dec-09 23:53
boolector_1.5.118.6b56be4.121013-1.1.dsc2.1 KiB2022-Jan-03 17:24
boolector_3.2.4-1.dsc2.0 KiB2026-Jan-30 23:31
boolector_1.5.118.6b56be4.121013-1.3.dsc1.7 KiB2022-Nov-12 11:24
boolector_1.5.118.6b56be4.121013-1.dsc1.5 KiB2012-Oct-28 23:08