Index of /ubuntu/pool/universe/m/minisat2/
Name
Last Modified
Size
Parent Directory
minisat2_2.2.1-4.debian.tar.gz
14-07-2013 22:43
12k
minisat2_2.2.1-4.dsc
14-07-2013 22:43
4k
minisat2_2.2.1-4_amd64.deb
14-07-2013 22:58
4k
minisat2_2.2.1-4_i386.deb
14-07-2013 22:58
4k
minisat2_2.2.1-5.debian.tar.xz
30-07-2014 17:44
12k
minisat2_2.2.1-5.dsc
30-07-2014 17:44
4k
minisat2_2.2.1-5_amd64.deb
30-07-2014 18:38
4k
minisat2_2.2.1-5_i386.deb
30-07-2014 18:40
4k
minisat2_2.2.1-5build1.debian.tar.xz
05-04-2018 08:01
12k
minisat2_2.2.1-5build1.dsc
05-04-2018 08:01
4k
minisat2_2.2.1-5build1_amd64.deb
05-04-2018 08:03
4k
minisat2_2.2.1-5build1_i386.deb
05-04-2018 08:04
4k
minisat2_2.2.1-5build2.debian.tar.xz
22-03-2020 17:10
12k
minisat2_2.2.1-5build2.dsc
22-03-2020 17:10
4k
minisat2_2.2.1-5build2_amd64.deb
22-03-2020 18:00
4k
minisat2_2.2.1-8build1.debian.tar.xz
01-04-2024 08:00
12k
minisat2_2.2.1-8build1.dsc
01-04-2024 08:00
4k
minisat2_2.2.1.orig.tar.gz
30-04-2011 17:05
44k
minisat_2.2.1-4_amd64.deb
14-07-2013 22:58
128k
minisat_2.2.1-4_i386.deb
14-07-2013 22:58
128k
minisat_2.2.1-5_amd64.deb
30-07-2014 18:38
84k
minisat_2.2.1-5_i386.deb
30-07-2014 18:40
96k
minisat_2.2.1-5build1_amd64.deb
05-04-2018 08:03
80k
minisat_2.2.1-5build1_i386.deb
05-04-2018 08:04
92k
minisat_2.2.1-5build2_amd64.deb
22-03-2020 18:00
84k
minisat_2.2.1-8build1_amd64.deb
01-04-2024 10:33
88k
Alojado en Chile por Hostenode SpA -
https://hnd.cl