Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai
NameLast modifiedSize
folder-parentParent Directory
filepicosat_960-1+b2_amd64.deb2017-03-17 03:40122 KB
filepicosat_960-1+b2_arm64.deb2017-03-17 00:1199 KB
filepicosat_960-1+b2_armhf.deb2017-03-17 12:27105 KB
filepicosat_960-1+b2_i386.deb2017-03-17 02:59128 KB
filepicosat_960-1.debian.tar.xz2014-11-08 18:226 KB
filepicosat_960-1.dsc2014-11-08 18:221 KB
filepicosat_960.orig.tar.gz2014-11-08 18:2263 KB
filepicosat_965-2+b1_arm64.deb2024-10-28 09:3389 KB
filepicosat_965-2+b1_riscv64.deb2024-02-17 18:26167 KB
filepicosat_965-2.debian.tar.xz2021-02-21 07:036 KB
filepicosat_965-2.dsc2021-02-21 07:031 KB
filepicosat_965-2_amd64.deb2021-02-21 07:1394 KB
filepicosat_965-2_arm64.deb2021-02-21 07:2886 KB
filepicosat_965-2_armel.deb2021-02-21 10:1386 KB
filepicosat_965-2_armhf.deb2021-02-21 13:1185 KB
filepicosat_965-2_i386.deb2021-02-21 07:2898 KB
filepicosat_965-2_mips64el.deb2021-02-21 07:5898 KB
filepicosat_965-2_mipsel.deb2021-02-21 08:1397 KB
filepicosat_965-2_ppc64el.deb2021-02-21 07:28103 KB
filepicosat_965-2_s390x.deb2021-02-21 07:2888 KB
filepicosat_965.orig.tar.gz2019-08-20 08:5564 KB