Sefroyek Pardaz - The best website for buying virtual and dedicated servers in Iran, offering data center services and web hosting with the best quality, prices, and 24/7 support. Sefroyek Pardaz, like a teammate!
News
About us
Contact
Jobs
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
boolector_1.5.118.6b56be4.121013-1.dsc
1.5 KiB
2012-Oct-16 18:16
boolector_1.5.118.6b56be4.121013-1.3.dsc
1.7 KiB
2022-Nov-12 08:41
boolector_3.2.4-1.dsc
2.0 KiB
2026-Jan-30 18:01
boolector_3.2.4-1.debian.tar.xz
3.2 KiB
2026-Jan-30 18:01
boolector_1.5.118.6b56be4.121013-1.debian.tar.gz
4.7 KiB
2012-Oct-16 18:16
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz
5.4 KiB
2022-Nov-12 08:41
boolector_1.5.118.6b56be4.121013.orig-lingeling..>
162.4 KiB
2012-Oct-16 18:16
boolector_1.5.118.6b56be4.121013.orig.tar.gz
184.3 KiB
2012-Oct-16 18:16
boolector_1.5.118.6b56be4.121013-1+b1_arm64.deb
240.8 KiB
2017-Mar-17 04:27
boolector_1.5.118.6b56be4.121013-1.3_armel.deb
249.4 KiB
2022-Nov-12 09:11
boolector_1.5.118.6b56be4.121013-1+b1_armhf.deb
253.0 KiB
2017-Mar-17 17:59
boolector_1.5.118.6b56be4.121013-1.3_armhf.deb
255.6 KiB
2022-Nov-12 09:11
boolector_1.5.118.6b56be4.121013-1.3_arm64.deb
257.9 KiB
2022-Nov-12 09:11
boolector_1.5.118.6b56be4.121013-1.3_mips64el.deb
272.8 KiB
2022-Nov-13 09:56
boolector_1.5.118.6b56be4.121013-1.3_s390x.deb
279.7 KiB
2022-Nov-12 09:42
boolector_1.5.118.6b56be4.121013-1.3_mipsel.deb
284.1 KiB
2022-Nov-12 09:11
boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb
296.8 KiB
2017-Mar-17 08:28
boolector_1.5.118.6b56be4.121013-1.3+b2_riscv64..>
301.6 KiB
2023-Dec-29 01:00
boolector_1.5.118.6b56be4.121013-1.3_amd64.deb
301.8 KiB
2022-Nov-12 09:11
boolector_1.5.118.6b56be4.121013-1+b1_i386.deb
308.1 KiB
2017-Mar-17 07:26
boolector_1.5.118.6b56be4.121013-1.3_ppc64el.deb
310.1 KiB
2022-Nov-12 12:43
boolector_1.5.118.6b56be4.121013-1.3_i386.deb
312.1 KiB
2022-Nov-12 09:11
boolector_3.2.4-1_arm64.deb
445.9 KiB
2026-Jan-30 18:31
boolector_3.2.4-1_armhf.deb
465.1 KiB
2026-Jan-30 18:31
boolector_3.2.4-1_s390x.deb
486.7 KiB
2026-Jan-30 18:26
boolector_3.2.4-1_loong64.deb
500.9 KiB
2026-Jan-31 13:26
boolector_3.2.4-1_ppc64el.deb
504.2 KiB
2026-Jan-30 18:31
boolector_3.2.4-1_riscv64.deb
515.9 KiB
2026-Jan-30 19:52
boolector_3.2.4-1_amd64.deb
520.9 KiB
2026-Jan-30 18:31
boolector_3.2.4-1_i386.deb
546.8 KiB
2026-Jan-30 18:31
boolector_3.2.4.orig.tar.gz
1.5 MiB
2026-Jan-30 18:01