Index of /livecdroom/source/wattos/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