Index of /ubuntu/pool/universe/m/minisat2/
name
size
date
minisat_2.2.1-8build2_amd64v3.deb
89.2K
2025-12-16 22:25:43
minisat_2.2.1-8build2_amd64.deb
87.8K
2025-12-16 22:25:10
minisat2_2.2.1-8build2.debian.tar.xz
9.8K
2025-12-16 22:16:37
minisat2_2.2.1-8build2.dsc
1.8K
2025-12-16 22:16:37
minisat_2.2.1-8build1_amd64.deb
86.0K
2024-04-01 10:33:43
minisat2_2.2.1-8build1.debian.tar.xz
9.7K
2024-04-01 08:00:52
minisat2_2.2.1-8build1.dsc
1.8K
2024-04-01 08:00:52
minisat2_2.2.1-5build2_amd64.deb
2.0K
2020-03-22 18:00:18
minisat_2.2.1-5build2_amd64.deb
80.0K
2020-03-22 18:00:18
minisat2_2.2.1-5build2.debian.tar.xz
9.3K
2020-03-22 17:10:05
minisat2_2.2.1-5build2.dsc
1.9K
2020-03-22 17:10:05
minisat2_2.2.1-5build1_i386.deb
2.0K
2018-04-05 08:04:19
minisat_2.2.1-5build1_i386.deb
88.6K
2018-04-05 08:04:19
minisat_2.2.1-5build1_amd64.deb
79.9K
2018-04-05 08:03:43
minisat2_2.2.1-5build1_amd64.deb
2.0K
2018-04-05 08:03:40
minisat2_2.2.1-5build1.debian.tar.xz
9.3K
2018-04-05 08:01:02
minisat2_2.2.1-5build1.dsc
1.9K
2018-04-05 08:01:02
minisat2_2.2.1-5_i386.deb
1.9K
2014-07-30 18:40:07
minisat_2.2.1-5_i386.deb
94.8K
2014-07-30 18:40:07
minisat2_2.2.1-5_amd64.deb
1.9K
2014-07-30 18:38:10
minisat_2.2.1-5_amd64.deb
81.0K
2014-07-30 18:38:10
minisat2_2.2.1-5.debian.tar.xz
9.1K
2014-07-30 17:44:51
minisat2_2.2.1-5.dsc
1.8K
2014-07-30 17:44:51
minisat_2.2.1-4_i386.deb
124.3K
2013-07-14 22:58:25
minisat2_2.2.1-4_i386.deb
1.9K
2013-07-14 22:58:24
minisat_2.2.1-4_amd64.deb
127.9K
2013-07-14 22:58:23
minisat2_2.2.1-4_amd64.deb
1.9K
2013-07-14 22:58:22
minisat2_2.2.1-4.debian.tar.gz
9.2K
2013-07-14 22:43:24
minisat2_2.2.1-4.dsc
1.8K
2013-07-14 22:43:24
minisat2_2.2.1.orig.tar.gz
43.2K
2011-04-30 17:05:36