Index of /livecdroom/source/lxubuntu/universe/c/cryptominisat
Name
Last modified
Size
Description
Parent Directory
-
cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz
2020-05-27 14:19
20K
cryptominisat_5.6.4+dfsg.1-1ubuntu1.dsc
2020-05-27 14:19
2.1K
cryptominisat_5.6.4+dfsg.1.orig.tar.gz
2020-05-27 14:19
481K
cryptominisat_5.7.1+dfsg1-1.debian.tar.xz
2020-05-27 14:19
4.6K
cryptominisat_5.7.1+dfsg1-1.dsc
2020-05-27 14:19
2.4K
cryptominisat_5.7.1+dfsg1.orig.tar.xz
2020-05-27 14:19
401K
cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz
2022-05-10 02:25
6.1K
cryptominisat_5.8.0+dfsg1-1build2.dsc
2022-05-10 02:25
2.4K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz
2022-05-10 02:25
6.1K
cryptominisat_5.8.0+dfsg1-2.dsc
2022-05-10 02:25
2.4K
cryptominisat_5.8.0+dfsg1.orig.tar.xz
2022-05-10 02:25
441K
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz
2024-05-16 02:53
5.3K
cryptominisat_5.11.4+dfsg1-2build1.dsc
2024-05-16 02:53
2.4K
cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
2024-05-16 02:53
6.6K
cryptominisat_5.11.4+dfsg1-3.dsc
2024-05-16 02:53
2.4K
cryptominisat_5.11.4+dfsg1.orig.tar.xz
2024-05-16 02:53
518K
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz
2024-05-16 02:53
5.6K
cryptominisat_5.11.15+dfsg1-1.1build1.dsc
2024-05-16 02:53
2.6K
cryptominisat_5.11.15+dfsg1.orig.tar.xz
2024-05-16 02:53
464K
cryptominisat_5.11.21+dfsg1-1.debian.tar.xz
2024-05-16 02:53
6.5K
cryptominisat_5.11.21+dfsg1-1.dsc
2024-05-16 02:53
2.4K
cryptominisat_5.11.21+dfsg1.orig.tar.xz
2024-05-16 02:53
470K
Apache/2.4.56 (Debian) Server at simosnet.com Port 80