uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/m/minisat2/

Show dotfiles
Name
Last modified
Size
../
-
-
minisat2_2.2.1-4.debian.tar.gz
14-Jul-2013 22:43
9.17 KB
minisat2_2.2.1-4.dsc
14-Jul-2013 22:43
1.83 KB
minisat2_2.2.1-4_amd64.deb
14-Jul-2013 22:58
1.85 KB
minisat2_2.2.1-4_i386.deb
14-Jul-2013 22:58
1.85 KB
minisat2_2.2.1-5.debian.tar.xz
30-Jul-2014 17:44
9.13 KB
minisat2_2.2.1-5.dsc
30-Jul-2014 17:44
1.85 KB
minisat2_2.2.1-5_amd64.deb
30-Jul-2014 18:38
1.95 KB
minisat2_2.2.1-5_i386.deb
30-Jul-2014 18:40
1.95 KB
minisat2_2.2.1-5build1.debian.tar.xz
05-Apr-2018 08:01
9.26 KB
minisat2_2.2.1-5build1.dsc
05-Apr-2018 08:01
1.94 KB
minisat2_2.2.1-5build1_amd64.deb
05-Apr-2018 08:03
1.98 KB
minisat2_2.2.1-5build1_i386.deb
05-Apr-2018 08:04
1.98 KB
minisat2_2.2.1-5build2.debian.tar.xz
22-Mar-2020 17:10
9.3 KB
minisat2_2.2.1-5build2.dsc
22-Mar-2020 17:10
1.93 KB
minisat2_2.2.1-5build2_amd64.deb
22-Mar-2020 18:00
1.98 KB
minisat2_2.2.1-8build1.debian.tar.xz
01-Apr-2024 08:00
9.74 KB
minisat2_2.2.1-8build1.dsc
01-Apr-2024 08:00
1.77 KB
minisat2_2.2.1-8build2.debian.tar.xz
16-Dec-2025 22:16
9.79 KB
minisat2_2.2.1-8build2.dsc
16-Dec-2025 22:16
1.77 KB
minisat2_2.2.1.orig.tar.gz
30-Apr-2011 17:05
43.19 KB
minisat_2.2.1-4_amd64.deb
14-Jul-2013 22:58
127.88 KB
minisat_2.2.1-4_i386.deb
14-Jul-2013 22:58
124.31 KB
minisat_2.2.1-5_amd64.deb
30-Jul-2014 18:38
81.04 KB
minisat_2.2.1-5_i386.deb
30-Jul-2014 18:40
94.76 KB
minisat_2.2.1-5build1_amd64.deb
05-Apr-2018 08:03
79.9 KB
minisat_2.2.1-5build1_i386.deb
05-Apr-2018 08:04
88.57 KB
minisat_2.2.1-5build2_amd64.deb
22-Mar-2020 18:00
80.02 KB
minisat_2.2.1-8build1_amd64.deb
01-Apr-2024 10:33
86 KB
minisat_2.2.1-8build2_amd64.deb
16-Dec-2025 22:25
87.82 KB
minisat_2.2.1-8build2_amd64v3.deb
16-Dec-2025 22:25
89.19 KB