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

	Name	Last modified	Size	Description
	Parent Directory		-
	cryptominisat_5.8.0+dfsg1.orig.tar.xz	2020-07-13 12:24	441K
	libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb	2020-07-13 13:09	419K
	libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64.deb	2020-12-12 08:06	406K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb	2022-02-22 18:45	378K
	cryptominisat_5.8.0+dfsg1-1_amd64.deb	2020-07-13 13:09	94K
	cryptominisat_5.8.0+dfsg1-2_amd64.deb	2022-02-22 18:45	91K
	cryptominisat_5.8.0+dfsg1-1build2_amd64.deb	2020-12-12 08:06	86K
	python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb	2022-02-22 18:45	19K
	python3-cryptominisat_5.8.0+dfsg1-1build2_amd64.deb	2020-12-12 08:06	18K
	python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb	2020-07-13 13:09	18K
	libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb	2022-02-22 18:45	13K
	libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd64.deb	2020-12-12 08:06	13K
	libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb	2020-07-13 13:09	13K
	cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz	2020-12-12 07:45	6.1K
	cryptominisat_5.8.0+dfsg1-2.debian.tar.xz	2022-02-22 18:24	6.1K
	cryptominisat_5.8.0+dfsg1-1.debian.tar.xz	2020-07-13 12:24	6.0K
	cryptominisat_5.8.0+dfsg1-1build2.dsc	2020-12-12 07:45	2.4K
	cryptominisat_5.8.0+dfsg1-2.dsc	2022-02-22 18:24	2.4K
	cryptominisat_5.8.0+dfsg1-1.dsc	2020-07-13 12:24	2.4K