Index of /ubuntu/pool/universe/m/minisat+/?C=S&O=D

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

File Name  ↓ File Size  ↓ Date  ↓ 
--
176.3 KiB2011-Nov-12 07:12
168.1 KiB2011-Nov-12 07:16
157.1 KiB2024-Oct-31 15:59
154.9 KiB2017-Apr-29 20:25
145.9 KiB2017-Apr-29 20:29
138.7 KiB2020-Mar-22 12:50
78.1 KiB2011-Nov-12 04:20
4.3 KiB2024-Oct-31 14:11
4.2 KiB2020-Mar-22 12:10
4.1 KiB2017-Apr-29 18:58
3.9 KiB2011-Nov-12 04:20
2.0 KiB2020-Mar-22 12:10
1.9 KiB2017-Apr-29 18:58
1.9 KiB2024-Oct-31 14:11
1.2 KiB2011-Nov-12 04:20