/debian/pool/main/m/minisat+/

File Name  ↓ File Size  ↓ Date  ↓ 
--
78.1 KiB14.05.2011 12:02
4.1 KiB22.02.2017 20:22
1.9 KiB22.02.2017 20:22
126.9 KiB22.02.2017 21:12
154.7 KiB22.02.2017 21:12
145.0 KiB22.02.2017 21:12
156.3 KiB22.02.2017 21:12
143.3 KiB22.02.2017 21:12
130.8 KiB22.02.2017 21:12
130.6 KiB22.02.2017 21:12
144.4 KiB22.02.2017 21:28
141.3 KiB22.02.2017 21:43
4.3 KiB09.10.2024 21:34
1.9 KiB09.10.2024 21:34
126.2 KiB10.10.2024 00:29
149.5 KiB10.10.2024 00:29
130.0 KiB10.10.2024 00:29
144.5 KiB10.10.2024 00:40
122.3 KiB10.10.2024 00:45
145.8 KiB10.10.2024 00:45
163.7 KiB10.10.2024 00:45
147.8 KiB10.10.2024 01:20
139.7 KiB10.10.2024 01:52