Filename Modification time Size minisat2_2.2.1-4.debian.tar.gz 2013-07-15 00:43 CEST 9388 B minisat2_2.2.1-4.dsc 2013-07-15 00:43 CEST 1879 B minisat2_2.2.1-4_amd64.deb 2013-07-15 00:58 CEST 1896 B minisat2_2.2.1-4_i386.deb 2013-07-15 00:58 CEST 1896 B minisat2_2.2.1-5.debian.tar.xz 2014-07-30 19:44 CEST 9348 B minisat2_2.2.1-5.dsc 2014-07-30 19:44 CEST 1893 B minisat2_2.2.1-5_amd64.deb 2014-07-30 20:38 CEST 1994 B minisat2_2.2.1-5_i386.deb 2014-07-30 20:40 CEST 1996 B minisat2_2.2.1-5build1.debian.tar.xz 2018-04-05 10:01 CEST 9480 B minisat2_2.2.1-5build1.dsc 2018-04-05 10:01 CEST 1982 B minisat2_2.2.1-5build1_amd64.deb 2018-04-05 10:03 CEST 2032 B minisat2_2.2.1-5build1_i386.deb 2018-04-05 10:04 CEST 2028 B minisat2_2.2.1-5build2.debian.tar.xz 2020-03-22 18:10 CET 9528 B minisat2_2.2.1-5build2.dsc 2020-03-22 18:10 CET 1978 B minisat2_2.2.1-5build2_amd64.deb 2020-03-22 19:00 CET 2032 B minisat2_2.2.1-8build1.debian.tar.xz 2024-04-01 10:00 CEST 9976 B minisat2_2.2.1-8build1.dsc 2024-04-01 10:00 CEST 1811 B minisat2_2.2.1-8build2.debian.tar.xz 2025-12-16 23:16 CET 10 KiB minisat2_2.2.1-8build2.dsc 2025-12-16 23:16 CET 1814 B minisat2_2.2.1.orig.tar.gz 2011-04-30 19:05 CEST 43 KiB minisat_2.2.1-4_amd64.deb 2013-07-15 00:58 CEST 128 KiB minisat_2.2.1-4_i386.deb 2013-07-15 00:58 CEST 124 KiB minisat_2.2.1-5_amd64.deb 2014-07-30 20:38 CEST 81 KiB minisat_2.2.1-5_i386.deb 2014-07-30 20:40 CEST 95 KiB minisat_2.2.1-5build1_amd64.deb 2018-04-05 10:03 CEST 80 KiB minisat_2.2.1-5build1_i386.deb 2018-04-05 10:04 CEST 89 KiB minisat_2.2.1-5build2_amd64.deb 2020-03-22 19:00 CET 80 KiB minisat_2.2.1-8build1_amd64.deb 2024-04-01 12:33 CEST 86 KiB minisat_2.2.1-8build2_amd64.deb 2025-12-16 23:25 CET 88 KiB minisat_2.2.1-8build2_amd64v3.deb 2025-12-16 23:25 CET 89 KiB
