/debian/pool/main/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
--
6.9 MiBNovember 17, 2018
6.4 MiBNovember 17, 2018
6.4 MiBMarch 24, 2024
6.4 MiBOctober 29, 2022
5.9 MiBSeptember 18, 2020
5.7 MiBMarch 25, 2024
5.7 MiBMarch 24, 2024
5.7 MiBOctober 29, 2022
5.4 MiBMarch 24, 2024
5.4 MiBOctober 29, 2022
5.4 MiBSeptember 18, 2020
5.1 MiBSeptember 18, 2020
4.8 MiBMarch 24, 2024
4.8 MiBOctober 29, 2022
4.6 MiBSeptember 18, 2020
4.3 MiBNovember 17, 2018
4.2 MiBMarch 25, 2024
4.2 MiBOctober 30, 2022
3.9 MiBSeptember 18, 2020
3.9 MiBNovember 17, 2018
384.6 KiBMarch 24, 2024
380.4 KiBNovember 17, 2018
378.6 KiBOctober 29, 2022
373.5 KiBSeptember 18, 2020
357.6 KiBSeptember 18, 2020
357.0 KiBMarch 24, 2024
354.0 KiBNovember 17, 2018
353.8 KiBOctober 29, 2022
350.1 KiBSeptember 18, 2020
347.8 KiBOctober 29, 2022
345.2 KiBMarch 25, 2024
344.5 KiBMarch 24, 2024
320.5 KiBSeptember 18, 2020
315.1 KiBOctober 29, 2022
313.9 KiBMarch 24, 2024
296.9 KiBSeptember 18, 2020
296.0 KiBOctober 30, 2022
293.9 KiBMarch 25, 2024
136.2 KiBNovember 17, 2018
133.1 KiBNovember 17, 2018
128.4 KiBMarch 24, 2024
128.3 KiBMarch 25, 2024
128.3 KiBMarch 25, 2024
128.3 KiBMarch 24, 2024
128.3 KiBMarch 24, 2024
128.3 KiBMarch 24, 2024
128.2 KiBSeptember 18, 2020
128.2 KiBSeptember 18, 2020
128.2 KiBSeptember 18, 2020
128.2 KiBSeptember 18, 2020
128.2 KiBSeptember 18, 2020
128.1 KiBOctober 30, 2022
128.0 KiBOctober 29, 2022
128.0 KiBOctober 29, 2022
128.0 KiBOctober 29, 2022
128.0 KiBOctober 29, 2022
82.3 KiBMarch 24, 2024
80.7 KiBOctober 29, 2022
80.6 KiBSeptember 18, 2020
80.5 KiBMarch 24, 2024
79.6 KiBSeptember 18, 2020
78.9 KiBMarch 24, 2024
78.8 KiBOctober 29, 2022
78.5 KiBOctober 29, 2022
78.2 KiBSeptember 18, 2020
77.4 KiBMarch 25, 2024
74.7 KiBMarch 24, 2024
74.3 KiBSeptember 18, 2020
73.8 KiBOctober 29, 2022
73.1 KiBMarch 25, 2024
72.3 KiBSeptember 18, 2020
72.2 KiBOctober 30, 2022