/ubuntu/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
--
104.4 MiBNovember 6, 2022
91.0 MiBFebruary 5, 2022
90.5 MiBJune 12, 2022
73.0 MiBMarch 6, 2020
47.1 MiBNovember 6, 2022
46.6 MiBJune 12, 2022
42.9 MiBFebruary 5, 2022
31.6 MiBOctober 28, 2017
31.5 MiBMarch 6, 2020
30.7 MiBNovember 4, 2015
30.7 MiBOctober 28, 2017
30.5 MiBJanuary 19, 2014
25.8 MiBFebruary 5, 2022
25.7 MiBNovember 6, 2022
25.6 MiBJune 12, 2022
23.6 MiBFebruary 5, 2022
23.4 MiBNovember 6, 2022
23.3 MiBJune 12, 2022
16.9 MiBOctober 28, 2017
16.2 MiBOctober 28, 2017
15.3 MiBMarch 6, 2020
13.2 MiBOctober 28, 2017
13.2 MiBOctober 28, 2017
6.0 MiBMarch 6, 2020
5.6 MiBMarch 6, 2020
4.8 MiBDecember 28, 2016
4.5 MiBNovember 6, 2022
4.5 MiBJune 1, 2022
4.5 MiBJanuary 17, 2022
3.9 MiBJanuary 19, 2014
3.8 MiBNovember 4, 2015
3.6 MiBJanuary 19, 2014
3.6 MiBNovember 4, 2015
3.6 MiBNovember 4, 2015
3.5 MiBNovember 4, 2015
3.5 MiBJanuary 19, 2014
3.5 MiBJanuary 19, 2014
3.4 MiBOctober 28, 2017
3.4 MiBJuly 27, 2014
3.4 MiBJanuary 19, 2014
3.2 MiBOctober 28, 2017
2.3 MiBFebruary 5, 2022
2.2 MiBJune 12, 2022
2.2 MiBNovember 6, 2022
1.7 MiBMarch 6, 2020
1.5 MiBJanuary 19, 2014
1.5 MiBOctober 28, 2017
1.4 MiBNovember 4, 2015
1.4 MiBJanuary 19, 2014
1.3 MiBNovember 4, 2015
1.3 MiBOctober 28, 2017
731.4 KiBNovember 4, 2015
727.2 KiBJanuary 19, 2014
694.9 KiBNovember 4, 2015
661.6 KiBJanuary 19, 2014
39.2 KiBJune 12, 2022
38.7 KiBFebruary 5, 2022
32.9 KiBNovember 6, 2022
30.9 KiBMarch 6, 2020
21.4 KiBOctober 28, 2017
15.8 KiBNovember 4, 2015
15.4 KiBJanuary 19, 2014
2.6 KiBNovember 6, 2022
2.5 KiBJune 12, 2022
2.5 KiBFebruary 5, 2022
2.4 KiBMarch 6, 2020
2.3 KiBOctober 28, 2017
2.3 KiBNovember 4, 2015
2.3 KiBJanuary 19, 2014