/ubuntu/pool/universe/a/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
--
5.2 MiB06.11.2013 17:28
4.9 MiB06.11.2013 17:28
4.6 MiB12.01.2016 22:59
4.6 MiB12.01.2016 22:45
5.5 MiB25.11.2017 20:09
5.5 MiB25.11.2017 20:09
6.3 MiB08.02.2020 13:19
9.1 MiB16.09.2021 08:28
8.0 MiB12.12.2022 10:59
10.5 MiB10.11.2023 20:19
10.4 MiB07.09.2024 06:18
10.1 MiB25.10.2024 21:15
47.0 KiB06.11.2013 17:28
36.4 KiB12.01.2016 22:59
3.5 KiB25.11.2017 20:09
3.6 KiB08.02.2020 13:19
7.2 KiB06.11.2013 17:28
3.2 KiB06.11.2013 17:28
2.9 KiB06.11.2013 17:28
1.9 MiB06.11.2013 17:28
7.7 KiB12.01.2016 22:30
3.7 KiB12.01.2016 22:30
2.9 KiB12.01.2016 22:59
1007.3 KiB04.01.2016 23:25
9.6 KiB25.11.2017 19:15
4.5 KiB25.11.2017 19:15
3.0 KiB25.11.2017 20:09
1.1 MiB01.11.2017 13:05
10.0 KiB08.02.2020 11:38
4.2 KiB08.02.2020 11:38
4.0 KiB08.02.2020 13:19
2.3 MiB01.09.2019 12:43
10.0 KiB16.09.2021 07:39
4.2 KiB16.09.2021 07:39
4.0 KiB16.09.2021 08:28
2.5 MiB29.07.2020 23:19
10.3 KiB12.12.2022 10:29
4.3 KiB12.12.2022 10:29
3.6 KiB12.12.2022 10:59
1.6 MiB06.08.2022 23:19
11.4 KiB08.11.2023 09:36
4.8 KiB08.11.2023 09:36
3.7 KiB10.11.2023 20:19
11.4 KiB07.09.2024 06:18
4.8 KiB07.09.2024 06:18
3.6 KiB07.09.2024 06:18
1.7 MiB26.10.2023 15:43
10.2 KiB25.10.2024 19:11
5.1 KiB25.10.2024 19:11
3.6 KiB25.10.2024 21:15
1.8 MiB25.10.2024 19:11
39.9 KiB25.11.2017 20:09
40.2 KiB08.02.2020 13:19
45.1 KiB16.09.2021 08:28
44.3 KiB12.12.2022 10:59
45.2 KiB10.11.2023 20:19
45.2 KiB07.09.2024 06:18
45.2 KiB25.10.2024 21:15
13.0 MiB06.11.2013 17:28
12.3 MiB06.11.2013 17:28
10.2 MiB12.01.2016 22:59
10.1 MiB12.01.2016 22:45
15.1 MiB25.11.2017 20:09
14.9 MiB25.11.2017 20:09
18.8 MiB08.02.2020 13:19
38.4 MiB16.09.2021 08:28
25.5 MiB12.12.2022 10:59
24.3 MiB10.11.2023 20:19
24.0 MiB07.09.2024 06:18
23.0 MiB25.10.2024 21:15
2.1 MiB06.11.2013 17:28
2.1 MiB12.01.2016 22:59
2.6 MiB25.11.2017 20:09
4.0 MiB08.02.2020 13:19
5.2 MiB16.09.2021 08:28
5.7 MiB12.12.2022 10:59
6.0 MiB10.11.2023 20:19
5.9 MiB07.09.2024 06:18
6.4 MiB25.10.2024 21:15