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

File Name  ↓ File Size  ↓ Date  ↓ 
--
176.3 KiBNovember 12, 2011
168.1 KiBNovember 12, 2011
154.9 KiBApril 30, 2017
145.9 KiBApril 30, 2017
138.7 KiBMarch 22, 2020
78.1 KiBNovember 12, 2011
4.2 KiBMarch 22, 2020
4.1 KiBApril 29, 2017
3.9 KiBNovember 12, 2011
2.0 KiBMarch 22, 2020
1.9 KiBApril 29, 2017
1.2 KiBNovember 12, 2011