/ubuntu/pool/universe/m/minisat2/

File Name  ↓ File Size  ↓ Date  ↓ 
--
9.2 KiB14.07.2013 22:43
1.8 KiB14.07.2013 22:43
1.9 KiB14.07.2013 22:58
1.9 KiB14.07.2013 22:58
9.1 KiB30.07.2014 17:44
1.8 KiB30.07.2014 17:44
1.9 KiB30.07.2014 18:38
1.9 KiB30.07.2014 18:40
9.3 KiB05.04.2018 08:01
1.9 KiB05.04.2018 08:01
2.0 KiB05.04.2018 08:03
2.0 KiB05.04.2018 08:04
9.3 KiB22.03.2020 17:10
1.9 KiB22.03.2020 17:10
2.0 KiB22.03.2020 18:00
9.7 KiB01.04.2024 08:00
1.8 KiB01.04.2024 08:00
43.2 KiB30.04.2011 17:05
127.9 KiB14.07.2013 22:58
124.3 KiB14.07.2013 22:58
81.0 KiB30.07.2014 18:38
94.8 KiB30.07.2014 18:40
79.9 KiB05.04.2018 08:03
88.6 KiB05.04.2018 08:04
80.0 KiB22.03.2020 18:00
86.0 KiB01.04.2024 10:33