ubuntu/pool/universe/m/minisat+ • Linux Public Mirror - VISION Technologies Limited

Welcome to VISION Mirror Server

This mirror is hosted in VISION Technologies Limited Tier III Data Center in Bangladesh

Home / ubuntu / pool / universe / m / minisat+

File Name

Size

Last Modified

..

—

—
minisat+_1.0-2.debian.tar.gz

3.87KB

November 12, 2011, 9:20 am

minisat+_1.0-2.dsc

1.23KB

November 12, 2011, 9:20 am

minisat+_1.0-2_amd64.deb

176.31KB

November 12, 2011, 12:12 pm

minisat+_1.0-2_i386.deb

168.09KB

November 12, 2011, 12:16 pm

minisat+_1.0-4.debian.tar.xz

4.08KB

April 29, 2017, 11:58 pm

minisat+_1.0-4.dsc

1.94KB

April 29, 2017, 11:58 pm

minisat+_1.0-4_amd64.deb

154.93KB

April 30, 2017, 1:25 am

minisat+_1.0-4_i386.deb

145.85KB

April 30, 2017, 1:29 am

minisat+_1.0-4build1.debian.tar.xz

4.15KB

March 22, 2020, 5:10 pm

minisat+_1.0-4build1.dsc

1.99KB

March 22, 2020, 5:10 pm

minisat+_1.0-4build1_amd64.deb

138.68KB

March 22, 2020, 5:50 pm

minisat+_1.0-5.debian.tar.xz

4.34KB

October 31, 2024, 7:11 pm

minisat+_1.0-5.dsc

1.93KB

October 31, 2024, 7:11 pm

minisat+_1.0-5_amd64.deb

157.05KB

October 31, 2024, 8:59 pm

minisat+_1.0.orig.tar.gz

78.12KB

November 12, 2011, 9:20 am