Index of /ubuntu-ports/pool/universe/a/agda/

/ubuntu-ports/pool/universe/a/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
--
90.0 MiB2021-09-17T21:33Z
65.5 MiB2021-09-16T08:58Z
62.6 MiB2021-09-16T08:43Z
47.6 MiB2024-10-26T08:11Z
45.0 MiB2023-11-11T17:09Z
44.6 MiB2024-09-07T15:44Z
43.9 MiB2024-10-25T22:46Z
41.9 MiB2020-04-10T17:03Z
38.8 MiB2023-11-10T21:14Z
38.0 MiB2024-09-07T07:09Z
37.9 MiB2023-11-10T21:14Z
37.0 MiB2024-09-07T07:09Z
33.3 MiB2024-10-25T21:15Z
28.5 MiB2020-02-08T13:07Z
28.4 MiB2021-09-16T08:58Z
27.7 MiB2023-11-11T00:55Z
27.5 MiB2020-02-08T12:35Z
27.4 MiB2024-09-07T07:09Z
26.0 MiB2024-10-25T21:15Z
23.5 MiB2017-11-25T20:10Z
22.7 MiB2017-11-25T22:59Z
22.1 MiB2020-02-08T14:53Z
21.9 MiB2024-10-25T22:46Z
20.3 MiB2017-11-25T20:10Z
18.7 MiB2017-11-25T22:59Z
17.3 MiB2020-04-10T17:03Z
16.6 MiB2023-11-10T21:14Z
16.5 MiB2024-09-07T07:09Z
16.4 MiB2016-01-12T22:59Z
15.9 MiB2016-01-12T23:15Z
15.9 MiB2016-01-13T00:25Z
15.0 MiB2021-09-17T21:33Z
14.8 MiB2013-11-06T17:29Z
14.8 MiB2020-02-08T13:07Z
13.8 MiB2024-10-26T08:11Z
13.7 MiB2021-09-16T08:43Z
13.2 MiB2017-06-21T18:09Z
12.7 MiB2023-11-10T21:14Z
12.7 MiB2017-11-25T20:10Z
12.4 MiB2024-09-07T07:09Z
12.2 MiB2023-11-11T17:09Z
12.1 MiB2024-09-07T15:44Z
11.2 MiB2016-01-12T22:59Z
11.1 MiB2023-11-11T00:55Z
11.1 MiB2024-09-07T07:09Z
10.6 MiB2024-10-25T21:15Z
10.3 MiB2024-10-25T21:15Z
10.1 MiB2016-01-12T22:59Z
8.7 MiB2020-02-08T12:35Z
8.7 MiB2017-11-25T22:59Z
7.6 MiB2016-01-13T00:25Z
7.4 MiB2020-02-08T14:53Z
7.0 MiB2017-11-25T22:59Z
6.4 MiB2016-01-12T23:15Z
6.4 MiB2017-11-25T20:10Z
6.4 MiB2024-10-25T21:15Z
6.0 MiB2017-06-21T18:09Z
6.0 MiB2023-11-10T20:19Z
5.9 MiB2024-09-07T06:18Z
5.2 MiB2021-09-16T08:28Z
5.1 MiB2013-11-06T17:29Z
4.1 MiB2016-01-12T22:59Z
4.0 MiB2020-02-08T13:19Z
2.6 MiB2017-11-25T20:09Z
2.5 MiB2020-07-29T23:19Z
2.3 MiB2019-09-01T12:43Z
2.1 MiB2013-11-06T17:28Z
2.1 MiB2016-01-12T22:59Z
1.9 MiB2013-11-06T17:28Z
1.8 MiB2024-10-25T19:11Z
1.7 MiB2023-10-26T15:43Z
1.1 MiB2017-11-01T13:05Z
1007.3 KiB2016-01-04T23:25Z
47.0 KiB2013-11-06T17:28Z
45.2 KiB2024-10-25T21:15Z
45.2 KiB2024-09-07T06:18Z
45.2 KiB2023-11-10T20:19Z
45.1 KiB2021-09-16T08:28Z
40.2 KiB2020-02-08T13:19Z
39.9 KiB2017-11-25T20:09Z
36.4 KiB2016-01-12T22:59Z
11.4 KiB2024-09-07T06:18Z
11.4 KiB2023-11-08T09:36Z
10.2 KiB2024-10-25T19:11Z
10.0 KiB2021-09-16T07:39Z
10.0 KiB2020-02-08T11:38Z
9.6 KiB2017-11-25T19:15Z
7.7 KiB2016-01-12T22:30Z
7.2 KiB2013-11-06T17:28Z
5.1 KiB2024-10-25T19:11Z
4.8 KiB2024-09-07T06:18Z
4.8 KiB2023-11-08T09:36Z
4.5 KiB2017-11-25T19:15Z
4.2 KiB2021-09-16T07:39Z
4.2 KiB2020-02-08T11:38Z
4.0 KiB2021-09-16T08:28Z
4.0 KiB2020-02-08T13:19Z
3.7 KiB2016-01-12T22:30Z
3.7 KiB2023-11-10T20:19Z
3.6 KiB2024-10-25T21:15Z
3.6 KiB2024-09-07T06:18Z
3.6 KiB2020-02-08T13:19Z
3.5 KiB2017-11-25T20:09Z
3.2 KiB2013-11-06T17:28Z
3.0 KiB2017-11-25T20:09Z
2.9 KiB2013-11-06T17:28Z
2.9 KiB2016-01-12T22:59Z

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

cube github