Index of /trisquel/pool/main/c/cryptominisat

	Name	Last modified	Size	Description
	Parent Directory		-
	cryptominisat_5.8.0+dfsg1-2.debian.tar.xz	2022-02-22 18:24	6.1K
	cryptominisat_5.8.0+dfsg1-2.dsc	2022-02-22 18:24	2.4K
	cryptominisat_5.8.0+dfsg1-2_amd64.deb	2022-02-22 18:45	91K
	cryptominisat_5.8.0+dfsg1-2_arm64.deb	2022-02-22 18:45	87K
	cryptominisat_5.8.0+dfsg1-2_armhf.deb	2022-02-22 18:45	87K
	cryptominisat_5.8.0+dfsg1-2_ppc64el.deb	2022-02-22 18:46	97K
	cryptominisat_5.8.0+dfsg1.orig.tar.xz	2020-07-13 13:24	441K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb	2022-02-22 18:45	378K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_arm64.deb	2022-02-22 18:45	366K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_armhf.deb	2022-02-22 18:45	416K
	libcryptominisat5-5.8_5.8.0+dfsg1-2_ppc64el.deb	2022-02-22 18:46	462K
	libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb	2022-02-22 18:45	13K
	libcryptominisat5-dev_5.8.0+dfsg1-2_arm64.deb	2022-02-22 18:45	13K
	libcryptominisat5-dev_5.8.0+dfsg1-2_armhf.deb	2022-02-22 18:45	13K
	libcryptominisat5-dev_5.8.0+dfsg1-2_ppc64el.deb	2022-02-22 18:46	13K
	python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb	2022-02-22 18:45	19K
	python3-cryptominisat_5.8.0+dfsg1-2_arm64.deb	2022-02-22 18:45	19K
	python3-cryptominisat_5.8.0+dfsg1-2_armhf.deb	2022-02-22 18:45	18K
	python3-cryptominisat_5.8.0+dfsg1-2_ppc64el.deb	2022-02-22 18:46	20K