Index of /ubuntu/ubuntu/pool/universe/c/cryptominisat

	Name	Last modified	Size
	Parent Directory		-
	cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz	2018-11-13 17:15	20K
	cryptominisat_5.6.4+dfsg.1-1ubuntu1.dsc	2018-11-13 17:15	2.1K
	cryptominisat_5.6.4+dfsg.1-1ubuntu1_amd64.deb	2018-11-13 17:23	78K
	cryptominisat_5.6.4+dfsg.1.orig.tar.gz	2018-11-09 23:35	481K
	cryptominisat_5.7.1+dfsg1-1.debian.tar.xz	2020-05-11 18:23	4.6K
	cryptominisat_5.7.1+dfsg1-1.dsc	2020-05-11 18:23	2.4K
	cryptominisat_5.7.1+dfsg1-1_amd64.deb	2020-05-11 23:31	94K
	cryptominisat_5.7.1+dfsg1.orig.tar.xz	2020-05-11 18:23	401K
	cryptominisat_5.8.0+dfsg1-1.debian.tar.xz	2020-07-13 18:24	6.0K
	cryptominisat_5.8.0+dfsg1-1.dsc	2020-07-13 18:24	2.4K
	cryptominisat_5.8.0+dfsg1-1_amd64.deb	2020-07-13 19:09	94K
	cryptominisat_5.8.0+dfsg1.orig.tar.xz	2020-07-13 18:24	441K
	libcryptominisat5-5.6_5.6.4+dfsg.1-1ubuntu1_amd64.deb	2018-11-13 17:23	357K
	libcryptominisat5-5.7_5.7.1+dfsg1-1_amd64.deb	2020-05-11 23:31	392K
	libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb	2020-07-13 19:09	419K
	libcryptominisat5-dev_5.6.4+dfsg.1-1ubuntu1_amd64.deb	2018-11-13 17:23	11K
	libcryptominisat5-dev_5.7.1+dfsg1-1_amd64.deb	2020-05-11 23:31	12K
	libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb	2020-07-13 19:09	13K
	python3-cryptominisat_5.6.4+dfsg.1-1ubuntu1_amd64.deb	2018-11-13 17:23	16K
	python3-cryptominisat_5.7.1+dfsg1-1_amd64.deb	2020-05-11 23:31	18K
	python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb	2020-07-13 19:09	18K