Index of /pardus/pool/main/b/boolector/

../
boolector_1.5.118.6b56be4.121013-1+b1_amd64.deb    24-Aug-2021 19:42    297K
boolector_1.5.118.6b56be4.121013-1+b1_arm64.deb    24-Aug-2021 18:38    241K
boolector_1.5.118.6b56be4.121013-1+b1_i386.deb     24-Aug-2021 21:05    308K
boolector_1.5.118.6b56be4.121013-1.3.debian.tar.xz 28-Nov-2022 18:24    5504
boolector_1.5.118.6b56be4.121013-1.3.dsc           28-Nov-2022 18:24    1722
boolector_1.5.118.6b56be4.121013-1.3_amd64.deb     28-Nov-2022 19:45    302K
boolector_1.5.118.6b56be4.121013-1.3_arm64.deb     28-Nov-2022 18:15    258K
boolector_1.5.118.6b56be4.121013-1.3_i386.deb      28-Nov-2022 18:52    312K
boolector_1.5.118.6b56be4.121013-1.debian.tar.gz   24-Aug-2021 21:09    4827
boolector_1.5.118.6b56be4.121013-1.dsc             24-Aug-2021 21:09    1515
boolector_1.5.118.6b56be4.121013.orig-lingeling..> 24-Aug-2021 21:09    162K
boolector_1.5.118.6b56be4.121013.orig.tar.gz       24-Aug-2021 21:09    184K