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

	Name	Last modified	Size
	Parent Directory		-
	cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz	2020-12-12 12:45	6.1K
	cryptominisat_5.8.0+dfsg1-1build2.dsc	2020-12-12 12:45	2.4K
	cryptominisat_5.8.0+dfsg1-1build2_arm64.deb	2020-12-12 14:27	80K
	cryptominisat_5.8.0+dfsg1-1build2_armhf.deb	2020-12-12 14:27	79K
	cryptominisat_5.8.0+dfsg1-1build2_ppc64el.deb	2020-12-12 13:06	92K
	cryptominisat_5.8.0+dfsg1-1build2_riscv64.deb	2020-12-12 13:28	84K
	cryptominisat_5.8.0+dfsg1-1build2_s390x.deb	2020-12-12 13:07	83K
	cryptominisat_5.8.0+dfsg1-2.debian.tar.xz	2022-02-22 23:24	6.1K
	cryptominisat_5.8.0+dfsg1-2.dsc	2022-02-22 23:24	2.4K
	cryptominisat_5.8.0+dfsg1-2_arm64.deb	2022-02-22 23:45	87K
	cryptominisat_5.8.0+dfsg1-2_armhf.deb	2022-02-22 23:45	87K
	cryptominisat_5.8.0+dfsg1-2_ppc64el.deb	2022-02-22 23:46	97K
	cryptominisat_5.8.0+dfsg1-2_riscv64.deb	2022-02-23 02:29	94K
	cryptominisat_5.8.0+dfsg1-2_s390x.deb	2022-02-22 23:46	88K
	cryptominisat_5.8.0+dfsg1.orig.tar.xz	2020-07-13 17:24	441K
	libcryptominisat5-5.8_5.8.0+dfsg1-1build2_arm64.deb	2020-12-12 14:27	369K
	libcryptominisat5-5.8_5.8.0+dfsg1-1build2_armhf.deb	2020-12-12 14:27	375K
	libcryptominisat5-5.8_5.8.0+dfsg1-1build2_ppc64el.deb	2020-12-12 13:06	478K
	libcryptominisat5-5.8_5.8.0+dfsg1-1build2_riscv64.deb	2020-12-12 13:28	410K
	libcryptominisat5-5.8_5.8.0+dfsg1-1build2_s390x.deb	2020-12-12 13:07	440K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb	2022-02-22 23:45	366K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb	2022-02-22 23:45	416K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb	2022-02-22 23:46	462K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_riscv64.deb	2022-02-23 02:29	449K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_s390x.deb	2022-02-22 23:46	365K
	libcryptominisat5-dev_5.8.0+dfsg1-1build2_arm64.deb	2020-12-12 14:27	13K
	libcryptominisat5-dev_5.8.0+dfsg1-1build2_armhf.deb	2020-12-12 14:27	13K
	libcryptominisat5-dev_5.8.0+dfsg1-1build2_ppc64el.deb	2020-12-12 13:06	13K
	libcryptominisat5-dev_5.8.0+dfsg1-1build2_riscv64.deb	2020-12-12 13:28	13K
	libcryptominisat5-dev_5.8.0+dfsg1-1build2_s390x.deb	2020-12-12 13:07	13K
	libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb	2022-02-22 23:45	13K
	libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb	2022-02-22 23:45	13K
	libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb	2022-02-22 23:46	13K
	libcryptominisat5-dev_5.8.0+dfsg1-2_riscv64.deb	2022-02-23 02:29	13K
	libcryptominisat5-dev_5.8.0+dfsg1-2_s390x.deb	2022-02-22 23:46	13K
	python3-cryptominisat_5.8.0+dfsg1-1build2_arm64.deb	2020-12-12 14:27	17K
	python3-cryptominisat_5.8.0+dfsg1-1build2_armhf.deb	2020-12-12 14:27	17K
	python3-cryptominisat_5.8.0+dfsg1-1build2_ppc64el.deb	2020-12-12 13:06	19K
	python3-cryptominisat_5.8.0+dfsg1-1build2_riscv64.deb	2020-12-12 13:28	17K
	python3-cryptominisat_5.8.0+dfsg1-1build2_s390x.deb	2020-12-12 13:07	18K
	python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb	2022-02-22 23:45	19K
	python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb	2022-02-22 23:45	18K
	python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb	2022-02-22 23:46	20K
	python3-cryptominisat_5.8.0+dfsg1-2_riscv64.deb	2022-02-23 02:29	19K
	python3-cryptominisat_5.8.0+dfsg1-2_s390x.deb	2022-02-22 23:46	19K