Index of /ubuntu/pool/universe/c/coq/?C=S&O=D

/ubuntu/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
--
96.1 MiB2024-Sep-07 03:09
91.5 MiB2024-Mar-31 15:32
91.0 MiB2022-Feb-05 19:52
78.2 MiB2025-Feb-17 21:40
73.0 MiB2020-Mar-06 04:38
66.5 MiB2025-Feb-17 21:40
65.1 MiB2024-Sep-07 03:09
49.0 MiB2024-Mar-31 15:32
42.9 MiB2022-Feb-05 19:51
31.6 MiB2017-Oct-28 11:34
31.5 MiB2020-Mar-06 04:38
30.7 MiB2015-Nov-04 10:04
30.7 MiB2017-Oct-28 11:34
30.5 MiB2014-Jan-19 19:58
26.4 MiB2024-Mar-31 15:32
25.8 MiB2022-Feb-05 19:51
25.8 MiB2024-Sep-07 03:09
25.7 MiB2025-Feb-17 21:40
25.6 MiB2025-Feb-17 21:40
25.3 MiB2024-Mar-31 15:32
24.8 MiB2024-Sep-07 03:09
23.6 MiB2022-Feb-05 19:51
16.9 MiB2017-Oct-28 11:34
16.2 MiB2017-Oct-28 11:34
15.3 MiB2020-Mar-06 04:38
13.2 MiB2017-Oct-28 11:34
13.2 MiB2017-Oct-28 11:34
6.0 MiB2020-Mar-06 04:38
5.6 MiB2020-Mar-06 03:53
5.3 MiB2024-May-02 07:53
4.8 MiB2025-Feb-17 21:39
4.8 MiB2016-Dec-28 13:13
4.6 MiB2023-Dec-22 15:46
4.5 MiB2022-Jan-17 19:14
3.9 MiB2014-Jan-19 19:58
3.8 MiB2015-Nov-04 10:04
3.6 MiB2014-Jan-19 19:58
3.6 MiB2015-Nov-04 09:39
3.6 MiB2015-Nov-04 09:39
3.5 MiB2015-Nov-04 10:04
3.5 MiB2014-Jan-19 19:58
3.5 MiB2014-Jan-19 19:58
3.4 MiB2017-Oct-28 11:34
3.4 MiB2014-Jul-27 19:13
3.4 MiB2014-Jan-19 19:18
3.2 MiB2017-Oct-28 11:34
2.3 MiB2024-Sep-07 03:09
2.3 MiB2022-Feb-05 19:51
2.2 MiB2024-Mar-31 15:32
2.1 MiB2025-Feb-17 21:40
1.7 MiB2020-Mar-06 04:38
1.5 MiB2014-Jan-19 19:58
1.5 MiB2017-Oct-28 11:34
1.4 MiB2015-Nov-04 10:04
1.4 MiB2014-Jan-19 19:58
1.3 MiB2015-Nov-04 09:39
1.3 MiB2017-Oct-28 11:34
731.4 KiB2015-Nov-04 10:04
727.2 KiB2014-Jan-19 19:58
694.9 KiB2015-Nov-04 09:39
661.6 KiB2014-Jan-19 19:58
38.7 KiB2022-Feb-05 13:49
32.6 KiB2024-Mar-31 14:36
32.2 KiB2024-Sep-07 03:08
30.9 KiB2020-Mar-06 03:53
29.5 KiB2025-Feb-17 21:39
21.4 KiB2017-Oct-28 10:39
15.8 KiB2015-Nov-04 09:14
15.4 KiB2014-Jan-19 19:18
2.6 KiB2024-Mar-31 14:36
2.5 KiB2022-Feb-05 13:49
2.5 KiB2025-Feb-17 21:39
2.5 KiB2024-Sep-07 03:08
2.4 KiB2020-Mar-06 03:53
2.3 KiB2017-Oct-28 10:39
2.3 KiB2015-Nov-04 09:14
2.3 KiB2014-Jan-19 19:18