/ubuntu/pool/universe/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
--
7.6 MiBNovember 1, 2017
7.5 MiBAugust 12, 2018
7.2 MiBSeptember 30, 2020
7.0 MiBFebruary 3, 2020
6.1 MiBNovember 3, 2017
5.7 MiBNovember 3, 2017
5.4 MiBSeptember 30, 2020
4.5 MiBNovember 6, 2022
4.3 MiBFebruary 3, 2020
3.5 MiBNovember 3, 2017
3.2 MiBNovember 3, 2017
381.1 KiBNovember 3, 2017
370.2 KiBNovember 6, 2022
355.6 KiBFebruary 3, 2020
355.2 KiBNovember 3, 2017
349.1 KiBSeptember 30, 2020
139.5 KiBNovember 3, 2017
135.4 KiBNovember 3, 2017
134.5 KiBFebruary 3, 2020
122.3 KiBNovember 6, 2022
120.3 KiBSeptember 30, 2020
72.8 KiBNovember 6, 2022
71.6 KiBSeptember 30, 2020
16.3 KiBNovember 6, 2022
16.1 KiBSeptember 30, 2020
8.2 KiBFebruary 3, 2020
5.9 KiBNovember 1, 2017
2.7 KiBFebruary 3, 2020
2.2 KiBSeptember 30, 2020
2.2 KiBNovember 6, 2022
2.2 KiBNovember 1, 2017