minisat2

Name	Size	Modified
Up
minisat2_2.2.1-4.debian.tar.gz	9.2 KiB	07/14/2013 10:43:24 PM +00:00
minisat2_2.2.1-4.dsc	1.8 KiB	07/14/2013 10:43:24 PM +00:00
minisat2_2.2.1-4_arm64.deb	1.9 KiB	10/20/2013 06:28:33 AM +00:00
minisat2_2.2.1-4_armhf.deb	1.9 KiB	07/14/2013 10:58:23 PM +00:00
minisat2_2.2.1-4_powerpc.deb	1.9 KiB	07/14/2013 11:13:23 PM +00:00
minisat2_2.2.1-4_ppc64el.deb	1.9 KiB	02/19/2014 10:28:52 AM +00:00
minisat2_2.2.1-5.debian.tar.xz	9.1 KiB	07/30/2014 05:44:51 PM +00:00
minisat2_2.2.1-5.dsc	1.8 KiB	07/30/2014 05:44:51 PM +00:00
minisat2_2.2.1-5_arm64.deb	1.9 KiB	07/30/2014 06:39:05 PM +00:00
minisat2_2.2.1-5_armhf.deb	1.9 KiB	07/30/2014 05:45:35 PM +00:00
minisat2_2.2.1-5_powerpc.deb	2.0 KiB	07/30/2014 06:40:57 PM +00:00
minisat2_2.2.1-5_ppc64el.deb	2.0 KiB	07/30/2014 06:41:05 PM +00:00
minisat2_2.2.1-5_s390x.deb	1.9 KiB	12/05/2015 01:47:11 AM +00:00
minisat2_2.2.1-5build1.debian.tar.xz	9.3 KiB	04/05/2018 08:01:02 AM +00:00
minisat2_2.2.1-5build1.dsc	1.9 KiB	04/05/2018 08:01:02 AM +00:00
minisat2_2.2.1-5build1_arm64.deb	2.0 KiB	04/05/2018 08:04:02 AM +00:00
minisat2_2.2.1-5build1_armhf.deb	2.0 KiB	04/05/2018 08:04:11 AM +00:00
minisat2_2.2.1-5build1_ppc64el.deb	2.0 KiB	04/05/2018 08:04:41 AM +00:00
minisat2_2.2.1-5build1_s390x.deb	2.0 KiB	04/05/2018 08:04:58 AM +00:00
minisat2_2.2.1-5build2.debian.tar.xz	9.3 KiB	03/22/2020 05:10:05 PM +00:00
minisat2_2.2.1-5build2.dsc	1.9 KiB	03/22/2020 05:10:05 PM +00:00
minisat2_2.2.1-5build2_arm64.deb	2.0 KiB	03/22/2020 08:56:14 PM +00:00
minisat2_2.2.1-5build2_armhf.deb	2.0 KiB	03/22/2020 08:56:30 PM +00:00
minisat2_2.2.1-5build2_ppc64el.deb	2.0 KiB	03/22/2020 09:23:33 PM +00:00
minisat2_2.2.1-5build2_riscv64.deb	2.0 KiB	04/03/2020 10:14:27 AM +00:00
minisat2_2.2.1-5build2_s390x.deb	2.0 KiB	03/22/2020 08:31:42 PM +00:00
minisat2_2.2.1-8build1.debian.tar.xz	9.7 KiB	04/01/2024 08:00:52 AM +00:00
minisat2_2.2.1-8build1.dsc	1.8 KiB	04/01/2024 08:00:52 AM +00:00
minisat2_2.2.1.orig.tar.gz	43 KiB	04/30/2011 05:05:36 PM +00:00
minisat_2.2.1-4_arm64.deb	126 KiB	10/20/2013 06:28:33 AM +00:00
minisat_2.2.1-4_armhf.deb	119 KiB	07/14/2013 10:58:24 PM +00:00
minisat_2.2.1-4_powerpc.deb	133 KiB	07/14/2013 11:13:23 PM +00:00
minisat_2.2.1-4_ppc64el.deb	90 KiB	02/19/2014 10:28:52 AM +00:00
minisat_2.2.1-5_arm64.deb	80 KiB	07/30/2014 06:39:05 PM +00:00
minisat_2.2.1-5_armhf.deb	76 KiB	07/30/2014 05:45:35 PM +00:00
minisat_2.2.1-5_powerpc.deb	86 KiB	07/30/2014 06:40:57 PM +00:00
minisat_2.2.1-5_ppc64el.deb	92 KiB	07/30/2014 06:41:04 PM +00:00
minisat_2.2.1-5_s390x.deb	78 KiB	12/05/2015 01:47:12 AM +00:00
minisat_2.2.1-5build1_arm64.deb	78 KiB	04/05/2018 08:04:02 AM +00:00
minisat_2.2.1-5build1_armhf.deb	73 KiB	04/05/2018 08:04:11 AM +00:00
minisat_2.2.1-5build1_ppc64el.deb	100 KiB	04/05/2018 08:04:41 AM +00:00
minisat_2.2.1-5build1_s390x.deb	77 KiB	04/05/2018 08:04:58 AM +00:00
minisat_2.2.1-5build2_arm64.deb	77 KiB	03/22/2020 08:56:14 PM +00:00
minisat_2.2.1-5build2_armhf.deb	74 KiB	03/22/2020 08:56:30 PM +00:00
minisat_2.2.1-5build2_ppc64el.deb	89 KiB	03/22/2020 09:23:33 PM +00:00
minisat_2.2.1-5build2_riscv64.deb	145 KiB	04/03/2020 10:14:28 AM +00:00
minisat_2.2.1-5build2_s390x.deb	76 KiB	03/22/2020 08:31:41 PM +00:00
minisat_2.2.1-8build1_arm64.deb	90 KiB	04/02/2024 11:01:07 AM +00:00
minisat_2.2.1-8build1_armhf.deb	79 KiB	04/01/2024 07:53:19 PM +00:00
minisat_2.2.1-8build1_ppc64el.deb	102 KiB	04/02/2024 02:14:35 AM +00:00
minisat_2.2.1-8build1_riscv64.deb	172 KiB	04/02/2024 01:09:16 AM +00:00
minisat_2.2.1-8build1_s390x.deb	92 KiB	04/02/2024 05:03:36 AM +00:00