ubuntu/pool/universe/m/minisat+ • Public Open Source Mirror

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

File Name

Size

Date

..

—

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

3.87KB

2011-11-12 11:20:28

minisat+_1.0-2.dsc

1.23KB

2011-11-12 11:20:28

minisat+_1.0-2_amd64.deb

176.31KB

2011-11-12 14:12:54

minisat+_1.0-2_i386.deb

168.09KB

2011-11-12 14:16:32

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

4.08KB

2017-04-30 02:58:45

minisat+_1.0-4.dsc

1.94KB

2017-04-30 02:58:45

minisat+_1.0-4_amd64.deb

154.93KB

2017-04-30 04:25:18

minisat+_1.0-4_i386.deb

145.85KB

2017-04-30 04:29:25

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

4.15KB

2020-03-22 19:10:05

minisat+_1.0-4build1.dsc

1.99KB

2020-03-22 19:10:05

minisat+_1.0-4build1_amd64.deb

138.68KB

2020-03-22 19:50:48

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

4.34KB

2024-10-31 21:11:47

minisat+_1.0-5.dsc

1.93KB

2024-10-31 21:11:47

minisat+_1.0-5_amd64.deb

157.05KB

2024-10-31 22:59:28

minisat+_1.0.orig.tar.gz

78.12KB

2011-11-12 11:20:28