/ubuntu-ports/pool/universe/c/coq/
File Name  ↓ File Size  ↓ Date  ↓ 
--
20.4 MiB2020-Mar-06 17:13
20.4 MiB2020-Mar-11 18:53
30.5 MiB2014-Jan-20 07:58
30.7 MiB2015-Nov-04 22:04
21.7 MiB2017-Oct-29 00:20
21.8 MiB2017-Oct-29 00:20
21.7 MiB2017-Oct-28 23:34
21.7 MiB2017-Oct-28 23:34
30.9 KiB2020-Mar-06 15:53
2.4 KiB2020-Mar-06 15:53
80.0 MiB2020-Mar-06 17:13
75.1 MiB2020-Mar-11 18:53
5.6 MiB2020-Mar-06 15:53
38.7 KiB2022-Feb-06 01:49
2.5 KiB2022-Feb-06 01:49
101.8 MiB2022-Feb-06 20:54
88.9 MiB2022-Feb-06 07:53
93.7 MiB2022-Feb-06 07:53
90.5 MiB2022-Feb-06 07:53
92.7 MiB2022-Feb-06 07:53
4.5 MiB2022-Jan-18 07:14
32.6 KiB2024-Apr-01 02:36
2.6 KiB2024-Apr-01 02:36
101.7 MiB2024-Apr-01 09:55
89.3 MiB2024-Apr-01 09:55
94.0 MiB2024-Apr-01 05:34
93.4 MiB2024-Apr-01 09:56
93.0 MiB2024-Apr-01 04:38
4.6 MiB2023-Dec-23 03:46
32.2 KiB2024-Sep-07 15:08
2.5 KiB2024-Sep-07 15:08
103.4 MiB2024-Sep-07 16:10
98.2 MiB2024-Sep-07 16:10
98.3 MiB2024-Sep-07 17:48
97.7 MiB2024-Sep-07 16:10
5.3 MiB2024-May-02 19:53
29.5 KiB2024-Nov-21 02:47
2.5 KiB2024-Nov-21 02:47
91.1 MiB2024-Nov-21 02:48
87.2 MiB2024-Nov-21 02:48
87.4 MiB2024-Nov-21 04:28
87.0 MiB2024-Nov-21 02:49
4.8 MiB2024-Nov-21 02:47
15.4 KiB2014-Jan-20 07:18
2.3 KiB2014-Jan-20 07:18
1.1 MiB2014-Jan-20 11:43
3.7 MiB2014-Jan-20 09:03
3.4 MiB2014-Jan-20 08:23
1.1 MiB2014-Feb-18 10:43
3.4 MiB2014-Jan-20 07:18
15.8 KiB2015-Nov-04 21:14
2.3 KiB2015-Nov-04 21:14
3.7 MiB2015-Nov-04 22:29
3.6 MiB2015-Nov-04 22:55
3.3 MiB2015-Nov-04 21:39
1016.0 KiB2015-Nov-04 22:55
1017.2 KiB2016-Jan-06 00:35
3.4 MiB2014-Jul-28 07:13
21.4 KiB2017-Oct-28 22:39
2.3 KiB2017-Oct-28 22:39
18.0 MiB2017-Oct-29 00:20
16.2 MiB2017-Oct-29 00:20
17.4 MiB2017-Oct-28 23:34
17.1 MiB2017-Oct-28 23:35
4.8 MiB2016-Dec-29 01:13
2.0 MiB2020-Mar-06 17:13
1.8 MiB2020-Mar-11 18:53
2.7 MiB2022-Feb-06 20:54
2.1 MiB2022-Feb-06 07:53
2.4 MiB2022-Feb-06 07:53
2.2 MiB2022-Feb-06 07:53
2.3 MiB2022-Feb-06 07:53
2.7 MiB2024-Apr-01 09:55
2.1 MiB2024-Apr-01 09:55
2.4 MiB2024-Apr-01 05:34
2.3 MiB2024-Apr-01 09:56
2.3 MiB2024-Apr-01 04:38
2.8 MiB2024-Sep-07 16:10
2.5 MiB2024-Sep-07 16:10
2.5 MiB2024-Sep-07 17:48
2.4 MiB2024-Sep-07 16:10
2.5 MiB2024-Nov-21 02:48
2.2 MiB2024-Nov-21 02:48
2.2 MiB2024-Nov-21 04:27
2.2 MiB2024-Nov-21 02:49
198.3 KiB2014-Jan-20 11:43
757.6 KiB2014-Jan-20 09:03
627.2 KiB2014-Jan-20 08:23
198.3 KiB2014-Feb-18 10:43
753.9 KiB2015-Nov-04 22:29
762.6 KiB2015-Nov-04 22:55
648.8 KiB2015-Nov-04 21:39
207.8 KiB2015-Nov-04 22:55
207.8 KiB2016-Jan-06 00:35
1.6 MiB2017-Oct-29 00:20
1.4 MiB2017-Oct-29 00:20
1.7 MiB2017-Oct-28 23:34
1.7 MiB2017-Oct-28 23:34
43.5 MiB2022-Feb-06 20:53
43.8 MiB2022-Feb-06 07:53
43.6 MiB2022-Feb-06 07:53
43.4 MiB2022-Feb-06 07:53
43.4 MiB2022-Feb-06 07:53
49.5 MiB2024-Apr-01 09:55
49.6 MiB2024-Apr-01 09:55
50.4 MiB2024-Apr-01 05:34
56.1 MiB2024-Apr-01 09:56
48.5 MiB2024-Apr-01 04:38
65.1 MiB2024-Sep-07 16:10
66.1 MiB2024-Sep-07 16:10
71.7 MiB2024-Sep-07 17:48
64.6 MiB2024-Sep-07 16:10
67.1 MiB2024-Nov-21 02:48
68.1 MiB2024-Nov-21 02:48
74.0 MiB2024-Nov-21 04:27
66.7 MiB2024-Nov-21 02:49
27.1 MiB2022-Feb-06 20:53
25.7 MiB2022-Feb-06 07:53
26.2 MiB2022-Feb-06 07:53
25.8 MiB2022-Feb-06 07:53
26.2 MiB2022-Feb-06 07:53
27.9 MiB2024-Apr-01 09:55
26.3 MiB2024-Apr-01 09:55
26.7 MiB2024-Apr-01 05:34
26.6 MiB2024-Apr-01 09:56
26.8 MiB2024-Apr-01 04:38
25.8 MiB2024-Sep-07 16:10
25.0 MiB2024-Sep-07 16:10
25.1 MiB2024-Sep-07 17:48
25.2 MiB2024-Sep-07 16:10
26.6 MiB2024-Nov-21 02:48
25.8 MiB2024-Nov-21 02:48
25.8 MiB2024-Nov-21 04:27
26.0 MiB2024-Nov-21 02:49
15.7 MiB2020-Mar-06 17:13
15.7 MiB2020-Mar-11 18:53
1.2 MiB2014-Jan-20 11:43
3.8 MiB2014-Jan-20 09:03
3.4 MiB2014-Jan-20 08:23
1.2 MiB2014-Feb-18 10:43
3.7 MiB2015-Nov-04 22:29
4.0 MiB2015-Nov-04 22:55
3.5 MiB2015-Nov-04 21:39
1.2 MiB2015-Nov-04 22:55
1.2 MiB2016-Jan-06 00:35
13.4 MiB2017-Oct-29 00:20
13.7 MiB2017-Oct-29 00:20
13.4 MiB2017-Oct-28 23:34
13.2 MiB2017-Oct-28 23:34
6.5 MiB2020-Mar-06 17:13
6.2 MiB2020-Mar-11 18:53
322.5 KiB2014-Jan-20 11:43
1.5 MiB2014-Jan-20 09:03
1.3 MiB2014-Jan-20 08:23
321.7 KiB2014-Feb-18 10:43
1.3 MiB2015-Nov-04 22:29
1.4 MiB2015-Nov-04 22:55
1.3 MiB2015-Nov-04 21:39
327.7 KiB2015-Nov-04 22:55
329.9 KiB2016-Jan-06 00:35
3.6 MiB2017-Oct-29 00:20
3.3 MiB2017-Oct-29 00:20
3.5 MiB2017-Oct-28 23:34
3.5 MiB2017-Oct-28 23:34
23.6 MiB2022-Feb-06 20:54
23.6 MiB2022-Feb-06 07:53
23.6 MiB2022-Feb-06 07:53
23.6 MiB2022-Feb-06 07:53
23.6 MiB2022-Feb-06 07:53
25.3 MiB2024-Apr-01 09:55
25.3 MiB2024-Apr-01 09:55
25.3 MiB2024-Apr-01 05:34
25.3 MiB2024-Apr-01 09:56
25.3 MiB2024-Apr-01 04:38
25.8 MiB2024-Sep-07 16:10
25.8 MiB2024-Sep-07 16:10
25.8 MiB2024-Sep-07 17:48
25.8 MiB2024-Sep-07 16:10
25.7 MiB2024-Nov-21 02:48
25.7 MiB2024-Nov-21 02:48
25.7 MiB2024-Nov-21 04:27
25.7 MiB2024-Nov-21 02:49