Index of /ubuntu-ports/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
--
2.3 KiB2014-Jan-19 23:18
2.3 KiB2015-Nov-04 13:14
2.3 KiB2017-Oct-28 14:39
2.4 KiB2020-Mar-06 07:53
2.5 KiB2024-May-02 11:53
2.5 KiB2022-Feb-05 17:49
2.6 KiB2023-Feb-16 10:06
2.6 KiB2023-Jul-24 17:37
2.6 KiB2024-Mar-31 18:36
15.4 KiB2014-Jan-19 23:18
15.8 KiB2015-Nov-04 13:14
21.4 KiB2017-Oct-28 14:39
30.9 KiB2020-Mar-06 07:53
32.1 KiB2024-May-02 11:53
32.4 KiB2023-Jul-24 17:37
32.5 KiB2023-Feb-16 10:06
32.6 KiB2024-Mar-31 18:36
38.7 KiB2022-Feb-05 17:49
198.3 KiB2014-Feb-18 02:43
198.3 KiB2014-Jan-20 03:43
207.8 KiB2015-Nov-04 14:55
207.8 KiB2016-Jan-05 16:35
321.7 KiB2014-Feb-18 02:43
322.5 KiB2014-Jan-20 03:43
327.7 KiB2015-Nov-04 14:55
329.9 KiB2016-Jan-05 16:35
627.2 KiB2014-Jan-20 00:23
648.8 KiB2015-Nov-04 13:39
753.9 KiB2015-Nov-04 14:29
757.6 KiB2014-Jan-20 01:03
762.6 KiB2015-Nov-04 14:55
1016.0 KiB2015-Nov-04 14:55
1017.2 KiB2016-Jan-05 16:35
1.1 MiB2014-Feb-18 02:43
1.1 MiB2014-Jan-20 03:43
1.2 MiB2015-Nov-04 14:55
1.2 MiB2016-Jan-05 16:35
1.2 MiB2014-Jan-20 03:43
1.2 MiB2014-Feb-18 02:43
1.3 MiB2015-Nov-04 13:39
1.3 MiB2014-Jan-20 00:23
1.3 MiB2015-Nov-04 14:29
1.4 MiB2017-Oct-28 16:20
1.4 MiB2015-Nov-04 14:55
1.5 MiB2014-Jan-20 01:03
1.6 MiB2017-Oct-28 16:20
1.7 MiB2017-Oct-28 15:34
1.7 MiB2017-Oct-28 15:34
1.8 MiB2020-Mar-11 10:53
2.0 MiB2020-Mar-06 09:13
2.1 MiB2023-Jul-24 18:09
2.1 MiB2023-Feb-16 10:58
2.1 MiB2024-Apr-01 01:55
2.1 MiB2024-May-09 06:45
2.1 MiB2022-Feb-05 23:53
2.1 MiB2023-Jul-24 23:19
2.2 MiB2023-Feb-16 15:11
2.2 MiB2022-Feb-05 23:53
2.3 MiB2023-Feb-16 10:58
2.3 MiB2022-Feb-05 23:53
2.3 MiB2024-May-02 12:39
2.3 MiB2023-Jul-24 18:09
2.3 MiB2024-Mar-31 20:38
2.3 MiB2024-Apr-01 01:56
2.3 MiB2024-May-02 14:43
2.4 MiB2023-Feb-16 10:58
2.4 MiB2023-Jul-24 17:37
2.4 MiB2024-Mar-31 21:34
2.4 MiB2024-May-02 11:53
2.4 MiB2022-Feb-05 23:53
2.7 MiB2023-Jul-24 18:09
2.7 MiB2023-Feb-16 10:58
2.7 MiB2024-Apr-01 01:55
2.7 MiB2024-May-02 12:39
2.7 MiB2022-Feb-06 12:54
3.3 MiB2015-Nov-04 13:39
3.3 MiB2017-Oct-28 16:20
3.4 MiB2014-Jan-19 23:18
3.4 MiB2014-Jul-27 23:13
3.4 MiB2014-Jan-20 00:23
3.4 MiB2014-Jan-20 00:23
3.5 MiB2017-Oct-28 15:34
3.5 MiB2017-Oct-28 15:34
3.5 MiB2015-Nov-04 13:39
3.6 MiB2017-Oct-28 16:20
3.6 MiB2015-Nov-04 14:55
3.7 MiB2014-Jan-20 01:03
3.7 MiB2015-Nov-04 14:29
3.7 MiB2015-Nov-04 14:29
3.8 MiB2014-Jan-20 01:03
4.0 MiB2015-Nov-04 14:55
4.5 MiB2022-Jan-17 23:14
4.5 MiB2022-Nov-29 17:24
4.6 MiB2023-Jun-12 18:01
4.6 MiB2023-Dec-22 19:46
4.8 MiB2016-Dec-28 17:13
5.3 MiB2024-May-02 11:53
5.6 MiB2020-Mar-06 07:53
6.2 MiB2020-Mar-11 10:53
6.5 MiB2020-Mar-06 09:13
13.2 MiB2017-Oct-28 15:34
13.4 MiB2017-Oct-28 16:20
13.4 MiB2017-Oct-28 15:34
13.7 MiB2017-Oct-28 16:20
15.7 MiB2020-Mar-06 09:13
15.7 MiB2020-Mar-11 10:53
16.2 MiB2017-Oct-28 16:20
17.1 MiB2017-Oct-28 15:35
17.4 MiB2017-Oct-28 15:34
18.0 MiB2017-Oct-28 16:20
20.4 MiB2020-Mar-06 09:13
20.4 MiB2020-Mar-11 10:53
21.7 MiB2017-Oct-28 15:34
21.7 MiB2017-Oct-28 15:34
21.7 MiB2017-Oct-28 16:20
21.8 MiB2017-Oct-28 16:20
23.4 MiB2023-Feb-16 10:58
23.4 MiB2023-Feb-16 10:58
23.4 MiB2023-Feb-16 15:11
23.4 MiB2023-Feb-16 10:58
23.4 MiB2023-Feb-16 10:58
23.6 MiB2022-Feb-05 23:53
23.6 MiB2022-Feb-05 23:53
23.6 MiB2022-Feb-05 23:53
23.6 MiB2022-Feb-06 12:54
23.6 MiB2022-Feb-05 23:53
25.3 MiB2024-Apr-01 01:55
25.3 MiB2024-Apr-01 01:56
25.3 MiB2024-Mar-31 20:38
25.3 MiB2024-Mar-31 21:34
25.3 MiB2024-Apr-01 01:55
25.5 MiB2023-Feb-16 10:58
25.5 MiB2023-Feb-16 15:11
25.7 MiB2022-Feb-05 23:53
25.8 MiB2023-Jul-24 23:19
25.8 MiB2022-Feb-05 23:53
25.8 MiB2023-Jul-24 18:09
25.8 MiB2024-May-02 12:39
25.8 MiB2024-May-02 14:43
25.8 MiB2024-May-02 11:53
25.8 MiB2024-May-02 12:39
25.8 MiB2024-May-09 06:45
26.0 MiB2023-Feb-16 10:58
26.1 MiB2023-Feb-16 10:58
26.2 MiB2022-Feb-05 23:53
26.2 MiB2022-Feb-05 23:53
26.3 MiB2023-Jul-24 17:37
26.3 MiB2024-Apr-01 01:55
26.3 MiB2023-Jul-24 18:09
26.5 MiB2024-May-09 06:45
26.6 MiB2024-Apr-01 01:56
26.7 MiB2024-Mar-31 21:34
26.8 MiB2024-Mar-31 20:38
26.9 MiB2024-May-02 14:43
26.9 MiB2024-May-02 11:53
27.0 MiB2023-Feb-16 10:58
27.1 MiB2022-Feb-06 12:53
27.1 MiB2024-May-02 12:39
27.1 MiB2023-Jul-24 18:09
27.1 MiB2023-Jul-24 18:09
27.1 MiB2023-Jul-24 18:09
27.1 MiB2023-Jul-24 23:19
27.1 MiB2023-Jul-24 17:37
27.3 MiB2023-Jul-24 18:09
27.9 MiB2024-Apr-01 01:55
28.1 MiB2024-May-02 12:39
30.5 MiB2014-Jan-19 23:58
30.7 MiB2015-Nov-04 14:04
43.4 MiB2022-Feb-05 23:53
43.4 MiB2022-Feb-05 23:53
43.5 MiB2022-Feb-06 12:53
43.6 MiB2022-Feb-05 23:53
43.8 MiB2022-Feb-05 23:53
46.7 MiB2023-Feb-16 10:58
47.1 MiB2023-Jul-24 18:09
47.5 MiB2023-Feb-16 10:58
47.7 MiB2023-Feb-16 10:58
48.0 MiB2023-Jul-24 18:09
48.1 MiB2023-Jul-24 18:09
48.5 MiB2023-Feb-16 10:58
48.5 MiB2024-Mar-31 20:38
48.9 MiB2023-Jul-24 17:37
49.3 MiB2024-May-02 12:39
49.5 MiB2024-Apr-01 01:55
49.6 MiB2024-Apr-01 01:55
50.2 MiB2024-May-02 12:39
50.4 MiB2024-Mar-31 21:34
50.4 MiB2024-May-09 06:45
51.3 MiB2024-May-02 11:53
53.2 MiB2023-Feb-16 15:11
53.6 MiB2023-Jul-24 23:19
56.1 MiB2024-Apr-01 01:56
57.0 MiB2024-May-02 14:43
75.1 MiB2020-Mar-11 10:53
80.0 MiB2020-Mar-06 09:13
86.7 MiB2023-Jul-24 18:09
87.6 MiB2023-Jul-24 23:19
88.9 MiB2022-Feb-05 23:53
89.3 MiB2024-Apr-01 01:55
90.0 MiB2024-May-09 06:45
90.2 MiB2023-Jul-24 18:09
90.5 MiB2022-Feb-05 23:53
91.1 MiB2023-Jul-24 17:37
92.7 MiB2022-Feb-05 23:53
93.0 MiB2024-Mar-31 20:38
93.4 MiB2024-May-02 12:39
93.4 MiB2024-Apr-01 01:56
93.7 MiB2022-Feb-05 23:53
94.0 MiB2024-Mar-31 21:34
94.1 MiB2024-May-02 14:43
94.7 MiB2024-May-02 11:53
98.7 MiB2023-Jul-24 18:09
101.7 MiB2024-Apr-01 01:55
101.8 MiB2022-Feb-06 12:54
101.9 MiB2023-Feb-16 10:58
102.5 MiB2024-May-02 12:39
103.5 MiB2023-Feb-16 15:11
106.4 MiB2023-Feb-16 10:58
107.6 MiB2023-Feb-16 10:58
117.3 MiB2023-Feb-16 10:58