Index of /images/snapshot/20050323/Debian/pool/main/c/cryptominisat

	Name	Last modified	Size
	Parent Directory		-
	cryptominisat_5.8.0+dfsg1-1+b1_amd64.deb	2020-07-14 22:44	95K
	cryptominisat_5.8.0+dfsg1-1+b1_arm64.deb	2020-07-14 22:13	88K
	cryptominisat_5.8.0+dfsg1-1+b1_armel.deb	2020-07-14 22:28	85K
	cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb	2020-07-14 22:28	87K
	cryptominisat_5.8.0+dfsg1-1+b1_i386.deb	2020-07-14 22:44	99K
	cryptominisat_5.8.0+dfsg1-1+b1_mips64el.deb	2020-07-15 01:27	87K
	cryptominisat_5.8.0+dfsg1-1+b1_mipsel.deb	2020-07-15 01:42	89K
	cryptominisat_5.8.0+dfsg1-1+b1_ppc64el.deb	2020-07-14 22:28	96K
	cryptominisat_5.8.0+dfsg1-1+b1_s390x.deb	2020-08-14 21:44	89K
	cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb	2020-12-12 15:13	86K
	cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb	2020-12-12 13:00	81K
	cryptominisat_5.8.0+dfsg1-1+b3_armel.deb	2020-12-12 14:11	78K
	cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb	2020-12-12 16:26	80K
	cryptominisat_5.8.0+dfsg1-1+b3_i386.deb	2020-12-12 15:39	91K
	cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb	2020-12-13 00:25	81K
	cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb	2020-12-13 11:56	83K
	cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb	2020-12-12 17:28	90K
	cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb	2020-12-12 22:57	81K
	cryptominisat_5.8.0+dfsg1-1.debian.tar.xz	2020-07-11 16:16	6.0K
	cryptominisat_5.8.0+dfsg1-1.dsc	2020-07-11 16:16	2.4K
	cryptominisat_5.8.0+dfsg1.orig.tar.xz	2020-07-11 16:16	441K
	cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb	2023-01-03 07:27	75K
	cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb	2023-01-03 07:58	69K
	cryptominisat_5.11.4+dfsg1-2+b1_armel.deb	2023-01-03 07:59	66K
	cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb	2023-01-03 07:58	67K
	cryptominisat_5.11.4+dfsg1-2+b1_i386.deb	2023-01-03 08:45	79K
	cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb	2023-01-03 07:12	70K
	cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb	2023-01-03 07:43	71K
	cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb	2023-01-05 00:55	77K
	cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb	2023-01-06 01:56	69K
	cryptominisat_5.11.4+dfsg1-2.debian.tar.xz	2022-11-03 20:09	5.2K
	cryptominisat_5.11.4+dfsg1-2.dsc	2022-11-03 20:09	2.4K
	cryptominisat_5.11.4+dfsg1-3.debian.tar.xz	2023-07-14 22:42	6.6K
	cryptominisat_5.11.4+dfsg1-3.dsc	2023-07-14 22:42	2.4K
	cryptominisat_5.11.4+dfsg1-3_amd64.deb	2023-07-15 00:12	75K
	cryptominisat_5.11.4+dfsg1-3_arm64.deb	2023-07-15 00:12	68K
	cryptominisat_5.11.4+dfsg1-3_armel.deb	2023-07-15 00:12	65K
	cryptominisat_5.11.4+dfsg1-3_armhf.deb	2023-07-15 00:12	66K
	cryptominisat_5.11.4+dfsg1-3_mips64el.deb	2023-07-15 06:56	70K
	cryptominisat_5.11.4+dfsg1-3_mipsel.deb	2023-07-15 06:56	71K
	cryptominisat_5.11.4+dfsg1-3_ppc64el.deb	2023-07-14 23:57	77K
	cryptominisat_5.11.4+dfsg1-3_s390x.deb	2023-07-14 23:52	69K
	cryptominisat_5.11.4+dfsg1.orig.tar.xz	2022-10-28 23:20	518K
	cryptominisat_5.11.15+dfsg1-1+b1_amd64.deb	2023-12-18 15:05	79K
	cryptominisat_5.11.15+dfsg1-1+b1_arm64.deb	2023-12-18 15:15	72K
	cryptominisat_5.11.15+dfsg1-1+b1_armel.deb	2023-12-18 14:28	70K
	cryptominisat_5.11.15+dfsg1-1+b1_armhf.deb	2023-12-18 14:49	71K
	cryptominisat_5.11.15+dfsg1-1+b1_mips64el.deb	2023-12-18 17:58	73K
	cryptominisat_5.11.15+dfsg1-1+b1_ppc64el.deb	2023-12-18 14:38	80K
	cryptominisat_5.11.15+dfsg1-1+b1_s390x.deb	2023-12-18 20:46	77K
	cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb	2024-01-05 22:41	79K
	cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb	2024-01-05 20:40	72K
	cryptominisat_5.11.15+dfsg1-1+b2_armel.deb	2024-01-05 23:19	70K
	cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb	2024-01-05 22:18	71K
	cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb	2024-01-06 00:07	73K
	cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb	2024-01-05 21:40	80K
	cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb	2024-01-06 07:38	77K
	cryptominisat_5.11.15+dfsg1-1.1_amd64.deb	2024-02-28 00:54	79K
	cryptominisat_5.11.15+dfsg1-1.1_arm64.deb	2024-02-28 01:04	72K
	cryptominisat_5.11.15+dfsg1-1.1_armel.deb	2024-02-28 01:04	70K
	cryptominisat_5.11.15+dfsg1-1.1_armhf.deb	2024-02-28 00:54	71K
	cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb	2024-02-28 01:20	73K
	cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb	2024-02-28 00:54	80K
	cryptominisat_5.11.15+dfsg1-1.1_s390x.deb	2024-02-28 00:49	76K
	cryptominisat_5.11.15+dfsg1-1.debian.tar.xz	2023-12-14 10:37	5.3K
	cryptominisat_5.11.15+dfsg1-1.dsc	2023-12-14 10:37	2.4K
	cryptominisat_5.11.15+dfsg1-1_amd64.deb	2023-12-14 11:07	78K
	cryptominisat_5.11.15+dfsg1-1_arm64.deb	2023-12-14 11:07	72K
	cryptominisat_5.11.15+dfsg1-1_armel.deb	2023-12-14 11:07	69K
	cryptominisat_5.11.15+dfsg1-1_armhf.deb	2023-12-14 11:17	71K
	cryptominisat_5.11.15+dfsg1-1_ppc64el.deb	2023-12-14 11:07	80K
	cryptominisat_5.11.15+dfsg1-1_s390x.deb	2023-12-14 11:02	75K
	cryptominisat_5.11.15+dfsg1.orig.tar.xz	2023-12-14 10:37	464K
	cryptominisat_5.11.21+dfsg1-1.debian.tar.xz	2024-05-03 08:30	6.5K
	cryptominisat_5.11.21+dfsg1-1.dsc	2024-05-03 08:30	2.4K
	cryptominisat_5.11.21+dfsg1-1_amd64.deb	2024-05-03 08:50	88K
	cryptominisat_5.11.21+dfsg1-1_arm64.deb	2024-05-03 08:50	78K
	cryptominisat_5.11.21+dfsg1-1_armel.deb	2024-05-03 09:01	77K
	cryptominisat_5.11.21+dfsg1-1_armhf.deb	2024-05-03 08:51	79K
	cryptominisat_5.11.21+dfsg1-1_mips64el.deb	2024-05-03 09:46	81K
	cryptominisat_5.11.21+dfsg1-1_ppc64el.deb	2024-05-03 08:50	88K
	cryptominisat_5.11.21+dfsg1-1_s390x.deb	2024-05-03 08:50	84K
	cryptominisat_5.11.21+dfsg1.orig.tar.xz	2024-05-03 08:30	470K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_amd64.deb	2020-07-14 22:44	420K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_arm64.deb	2020-07-14 22:13	378K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armel.deb	2020-07-14 22:28	384K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_armhf.deb	2020-07-14 22:28	396K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_i386.deb	2020-07-14 22:44	444K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_mips64el.deb	2020-07-15 01:27	396K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_mipsel.deb	2020-07-15 01:42	413K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_ppc64el.deb	2020-07-14 22:28	442K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b1_s390x.deb	2020-07-15 01:02	386K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb	2020-12-12 15:13	406K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb	2020-12-12 13:00	370K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armel.deb	2020-12-12 14:11	366K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_armhf.deb	2020-12-12 16:26	376K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb	2020-12-12 15:39	432K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb	2020-12-13 00:25	389K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mipsel.deb	2020-12-13 11:56	405K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb	2020-12-12 17:28	445K
	libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_s390x.deb	2020-12-12 22:57	372K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb	2023-01-03 07:27	490K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb	2023-01-03 07:58	440K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armel.deb	2023-01-03 07:59	432K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_armhf.deb	2023-01-03 07:58	450K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb	2023-01-03 08:45	516K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb	2023-01-03 07:12	463K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mipsel.deb	2023-01-03 07:43	477K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb	2023-01-05 00:55	530K
	libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_s390x.deb	2023-01-06 01:56	449K
	libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb	2023-07-15 00:12	490K
	libcryptominisat5-5.11_5.11.4+dfsg1-3_arm64.deb	2023-07-15 00:12	440K
	libcryptominisat5-5.11_5.11.4+dfsg1-3_armel.deb	2023-07-15 00:12	431K
	libcryptominisat5-5.11_5.11.4+dfsg1-3_armhf.deb	2023-07-15 00:12	449K
	libcryptominisat5-5.11_5.11.4+dfsg1-3_mips64el.deb	2023-07-15 06:56	462K
	libcryptominisat5-5.11_5.11.4+dfsg1-3_mipsel.deb	2023-07-15 06:56	476K
	libcryptominisat5-5.11_5.11.4+dfsg1-3_ppc64el.deb	2023-07-14 23:57	529K
	libcryptominisat5-5.11_5.11.4+dfsg1-3_s390x.deb	2023-07-14 23:52	448K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b1_amd64.deb	2023-12-18 15:05	494K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b1_arm64.deb	2023-12-18 15:15	449K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b1_armel.deb	2023-12-18 14:28	438K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b1_armhf.deb	2023-12-18 14:49	457K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b1_mips64el.deb	2023-12-18 17:58	466K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b1_ppc64el.deb	2023-12-18 14:38	534K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b1_s390x.deb	2023-12-18 20:46	529K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_amd64.deb	2024-01-05 22:41	494K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_arm64.deb	2024-01-05 20:40	449K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armel.deb	2024-01-05 23:19	439K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_armhf.deb	2024-01-05 22:18	457K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_mips64el.deb	2024-01-06 00:07	466K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_ppc64el.deb	2024-01-05 21:40	534K
	libcryptominisat5-5.11_5.11.15+dfsg1-1+b2_s390x.deb	2024-01-06 07:38	529K
	libcryptominisat5-5.11_5.11.15+dfsg1-1_amd64.deb	2023-12-14 11:07	494K
	libcryptominisat5-5.11_5.11.15+dfsg1-1_arm64.deb	2023-12-14 11:07	449K
	libcryptominisat5-5.11_5.11.15+dfsg1-1_armel.deb	2023-12-14 11:07	439K
	libcryptominisat5-5.11_5.11.15+dfsg1-1_armhf.deb	2023-12-14 11:17	457K
	libcryptominisat5-5.11_5.11.15+dfsg1-1_ppc64el.deb	2023-12-14 11:07	533K
	libcryptominisat5-5.11_5.11.15+dfsg1-1_s390x.deb	2023-12-14 11:02	528K
	libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_amd64.deb	2024-02-28 00:54	494K
	libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_arm64.deb	2024-02-28 01:04	449K
	libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armel.deb	2024-02-28 01:04	439K
	libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_armhf.deb	2024-02-28 00:54	457K
	libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_mips64el.deb	2024-02-28 01:20	466K
	libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_ppc64el.deb	2024-02-28 00:54	534K
	libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1_s390x.deb	2024-02-28 00:49	529K
	libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb	2024-05-03 08:50	492K
	libcryptominisat5-5.11t64_5.11.21+dfsg1-1_arm64.deb	2024-05-03 08:50	450K
	libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armel.deb	2024-05-03 09:01	440K
	libcryptominisat5-5.11t64_5.11.21+dfsg1-1_armhf.deb	2024-05-03 08:51	457K
	libcryptominisat5-5.11t64_5.11.21+dfsg1-1_mips64el.deb	2024-05-03 09:46	464K
	libcryptominisat5-5.11t64_5.11.21+dfsg1-1_ppc64el.deb	2024-05-03 08:50	531K
	libcryptominisat5-5.11t64_5.11.21+dfsg1-1_s390x.deb	2024-05-03 08:50	527K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_amd64.deb	2020-07-14 22:44	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_arm64.deb	2020-07-14 22:13	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armel.deb	2020-07-14 22:28	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_armhf.deb	2020-07-14 22:28	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_i386.deb	2020-07-14 22:44	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_mips64el.deb	2020-07-15 01:27	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_mipsel.deb	2020-07-15 01:42	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_ppc64el.deb	2020-07-14 22:28	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b1_s390x.deb	2020-07-15 01:02	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb	2020-12-12 15:13	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb	2020-12-12 13:00	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armel.deb	2020-12-12 14:11	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_armhf.deb	2020-12-12 16:26	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb	2020-12-12 15:39	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb	2020-12-13 00:25	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mipsel.deb	2020-12-13 11:56	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb	2020-12-12 17:28	14K
	libcryptominisat5-dev_5.8.0+dfsg1-1+b3_s390x.deb	2020-12-12 22:57	14K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb	2023-01-03 07:27	18K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb	2023-01-03 07:58	18K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armel.deb	2023-01-03 07:59	18K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_armhf.deb	2023-01-03 07:58	18K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb	2023-01-03 08:45	18K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb	2023-01-03 07:12	18K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mipsel.deb	2023-01-03 07:43	18K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb	2023-01-05 00:55	18K
	libcryptominisat5-dev_5.11.4+dfsg1-2+b1_s390x.deb	2023-01-06 01:56	18K
	libcryptominisat5-dev_5.11.4+dfsg1-3_amd64.deb	2023-07-15 00:12	18K
	libcryptominisat5-dev_5.11.4+dfsg1-3_arm64.deb	2023-07-15 00:12	18K
	libcryptominisat5-dev_5.11.4+dfsg1-3_armel.deb	2023-07-15 00:12	18K
	libcryptominisat5-dev_5.11.4+dfsg1-3_armhf.deb	2023-07-15 00:12	18K
	libcryptominisat5-dev_5.11.4+dfsg1-3_mips64el.deb	2023-07-15 06:56	18K
	libcryptominisat5-dev_5.11.4+dfsg1-3_mipsel.deb	2023-07-15 06:56	18K
	libcryptominisat5-dev_5.11.4+dfsg1-3_ppc64el.deb	2023-07-14 23:57	18K
	libcryptominisat5-dev_5.11.4+dfsg1-3_s390x.deb	2023-07-14 23:52	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b1_amd64.deb	2023-12-18 15:05	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b1_arm64.deb	2023-12-18 15:15	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b1_armel.deb	2023-12-18 14:28	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b1_armhf.deb	2023-12-18 14:49	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b1_mips64el.deb	2023-12-18 17:58	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b1_ppc64el.deb	2023-12-18 14:38	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b1_s390x.deb	2023-12-18 20:46	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b2_amd64.deb	2024-01-05 22:41	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b2_arm64.deb	2024-01-05 20:40	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armel.deb	2024-01-05 23:19	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b2_armhf.deb	2024-01-05 22:18	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b2_mips64el.deb	2024-01-06 00:07	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b2_ppc64el.deb	2024-01-05 21:40	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1+b2_s390x.deb	2024-01-06 07:38	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1.1_amd64.deb	2024-02-28 00:54	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1.1_arm64.deb	2024-02-28 01:04	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1.1_armel.deb	2024-02-28 01:04	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1.1_armhf.deb	2024-02-28 00:54	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1.1_mips64el.deb	2024-02-28 01:20	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1.1_ppc64el.deb	2024-02-28 00:54	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1.1_s390x.deb	2024-02-28 00:49	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1_amd64.deb	2023-12-14 11:07	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1_arm64.deb	2023-12-14 11:07	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1_armel.deb	2023-12-14 11:07	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1_armhf.deb	2023-12-14 11:17	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1_ppc64el.deb	2023-12-14 11:07	18K
	libcryptominisat5-dev_5.11.15+dfsg1-1_s390x.deb	2023-12-14 11:02	18K
	libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb	2024-05-03 08:50	18K
	libcryptominisat5-dev_5.11.21+dfsg1-1_arm64.deb	2024-05-03 08:50	18K
	libcryptominisat5-dev_5.11.21+dfsg1-1_armel.deb	2024-05-03 09:01	18K
	libcryptominisat5-dev_5.11.21+dfsg1-1_armhf.deb	2024-05-03 08:51	18K
	libcryptominisat5-dev_5.11.21+dfsg1-1_mips64el.deb	2024-05-03 09:46	18K
	libcryptominisat5-dev_5.11.21+dfsg1-1_ppc64el.deb	2024-05-03 08:50	18K
	libcryptominisat5-dev_5.11.21+dfsg1-1_s390x.deb	2024-05-03 08:50	18K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_amd64.deb	2020-07-14 22:44	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_arm64.deb	2020-07-14 22:13	18K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_armel.deb	2020-07-14 22:28	17K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_armhf.deb	2020-07-14 22:28	18K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_i386.deb	2020-07-14 22:44	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_mips64el.deb	2020-07-15 01:27	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_mipsel.deb	2020-07-15 01:42	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_ppc64el.deb	2020-07-14 22:28	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b1_s390x.deb	2020-07-15 01:02	18K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb	2020-12-12 15:13	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb	2020-12-12 13:00	18K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_armel.deb	2020-12-12 14:11	18K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_armhf.deb	2020-12-12 16:26	18K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb	2020-12-12 15:39	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb	2020-12-13 00:25	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_mipsel.deb	2020-12-13 11:56	19K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb	2020-12-12 17:28	20K
	python3-cryptominisat_5.8.0+dfsg1-1+b3_s390x.deb	2020-12-12 22:57	18K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb	2023-01-03 07:27	520K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb	2023-01-03 07:58	479K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_armel.deb	2023-01-03 07:59	462K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_armhf.deb	2023-01-03 07:58	473K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb	2023-01-03 08:45	576K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb	2023-01-03 07:12	494K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_mipsel.deb	2023-01-03 07:43	511K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb	2023-01-05 00:55	556K
	python3-cryptominisat_5.11.4+dfsg1-2+b1_s390x.deb	2023-01-06 01:56	483K
	python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb	2023-07-15 00:12	521K
	python3-cryptominisat_5.11.4+dfsg1-3_arm64.deb	2023-07-15 00:12	477K
	python3-cryptominisat_5.11.4+dfsg1-3_armel.deb	2023-07-15 00:12	462K
	python3-cryptominisat_5.11.4+dfsg1-3_armhf.deb	2023-07-15 00:12	472K
	python3-cryptominisat_5.11.4+dfsg1-3_mips64el.deb	2023-07-15 06:56	494K
	python3-cryptominisat_5.11.4+dfsg1-3_mipsel.deb	2023-07-15 06:56	511K
	python3-cryptominisat_5.11.4+dfsg1-3_ppc64el.deb	2023-07-14 23:57	555K
	python3-cryptominisat_5.11.4+dfsg1-3_s390x.deb	2023-07-14 23:52	482K
	python3-cryptominisat_5.11.15+dfsg1-1+b1_amd64.deb	2023-12-18 15:05	516K
	python3-cryptominisat_5.11.15+dfsg1-1+b1_arm64.deb	2023-12-18 15:15	478K
	python3-cryptominisat_5.11.15+dfsg1-1+b1_armel.deb	2023-12-18 14:28	460K
	python3-cryptominisat_5.11.15+dfsg1-1+b1_armhf.deb	2023-12-18 14:49	470K
	python3-cryptominisat_5.11.15+dfsg1-1+b1_mips64el.deb	2023-12-18 17:58	489K
	python3-cryptominisat_5.11.15+dfsg1-1+b1_ppc64el.deb	2023-12-18 14:38	552K
	python3-cryptominisat_5.11.15+dfsg1-1+b1_s390x.deb	2023-12-18 20:46	550K
	python3-cryptominisat_5.11.15+dfsg1-1+b2_amd64.deb	2024-01-05 22:41	516K
	python3-cryptominisat_5.11.15+dfsg1-1+b2_arm64.deb	2024-01-05 20:40	478K
	python3-cryptominisat_5.11.15+dfsg1-1+b2_armel.deb	2024-01-05 23:19	460K
	python3-cryptominisat_5.11.15+dfsg1-1+b2_armhf.deb	2024-01-05 22:18	470K
	python3-cryptominisat_5.11.15+dfsg1-1+b2_mips64el.deb	2024-01-06 00:07	489K
	python3-cryptominisat_5.11.15+dfsg1-1+b2_ppc64el.deb	2024-01-05 21:40	552K
	python3-cryptominisat_5.11.15+dfsg1-1+b2_s390x.deb	2024-01-06 07:38	551K
	python3-cryptominisat_5.11.15+dfsg1-1.1_amd64.deb	2024-02-28 00:54	516K
	python3-cryptominisat_5.11.15+dfsg1-1.1_arm64.deb	2024-02-28 01:04	477K
	python3-cryptominisat_5.11.15+dfsg1-1.1_armel.deb	2024-02-28 01:04	462K
	python3-cryptominisat_5.11.15+dfsg1-1.1_armhf.deb	2024-02-28 00:54	471K
	python3-cryptominisat_5.11.15+dfsg1-1.1_mips64el.deb	2024-02-28 01:20	489K
	python3-cryptominisat_5.11.15+dfsg1-1.1_ppc64el.deb	2024-02-28 00:54	552K
	python3-cryptominisat_5.11.15+dfsg1-1.1_s390x.deb	2024-02-28 00:49	550K
	python3-cryptominisat_5.11.15+dfsg1-1_amd64.deb	2023-12-14 11:07	516K
	python3-cryptominisat_5.11.15+dfsg1-1_arm64.deb	2023-12-14 11:07	477K
	python3-cryptominisat_5.11.15+dfsg1-1_armel.deb	2023-12-14 11:07	460K
	python3-cryptominisat_5.11.15+dfsg1-1_armhf.deb	2023-12-14 11:17	470K
	python3-cryptominisat_5.11.15+dfsg1-1_ppc64el.deb	2023-12-14 11:07	552K
	python3-cryptominisat_5.11.15+dfsg1-1_s390x.deb	2023-12-14 11:02	550K
	python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb	2024-05-03 08:50	514K
	python3-cryptominisat_5.11.21+dfsg1-1_arm64.deb	2024-05-03 08:50	478K
	python3-cryptominisat_5.11.21+dfsg1-1_armel.deb	2024-05-03 09:01	460K
	python3-cryptominisat_5.11.21+dfsg1-1_armhf.deb	2024-05-03 08:51	470K
	python3-cryptominisat_5.11.21+dfsg1-1_mips64el.deb	2024-05-03 09:46	487K
	python3-cryptominisat_5.11.21+dfsg1-1_ppc64el.deb	2024-05-03 08:50	549K
	python3-cryptominisat_5.11.21+dfsg1-1_s390x.deb	2024-05-03 08:50	548K