Index of /changelogs/main/a/agda
Name
Last modified
Size
Parent Directory
-
agda_2.4.0.2-2_changelog
2014-08-11 10:55
9.7K
agda_2.4.0.2-2_copyright
2014-08-10 22:02
3.3K
agda_2.5.1.1-2_changelog
2016-10-20 14:23
13K
agda_2.5.1.1-2_copyright
2016-10-10 18:06
3.3K
agda_2.5.4.1-3_changelog
2018-10-20 20:22
16K
agda_2.5.4.1-3_copyright
2018-09-30 08:01
3.3K
agda_2.6.1-1_changelog
2020-07-29 15:34
17K
agda_2.6.1-1_copyright
2018-09-30 08:01
3.3K
agda_2.6.2.2-1.1_changelog
2022-12-06 15:57
17K
agda_2.6.2.2-1.1_copyright
2022-12-06 15:57
3.3K
agda_2.6.4.3-1_changelog
2024-10-08 09:14
18K
agda_2.6.4.3-1_copyright
2024-10-08 09:14
3.3K
experimental_changelog
2016-10-20 14:23
13K
experimental_copyright
2016-10-10 18:06
3.3K
oldoldoldstable_changelog
2014-08-11 10:55
9.7K
oldoldoldstable_copyright
2014-08-10 22:02
3.3K
oldoldstable_changelog
2018-10-20 20:22
16K
oldoldstable_copyright
2018-09-30 08:01
3.3K
oldstable-kfreebsd_changelog
2014-08-11 10:55
9.7K
oldstable-kfreebsd_copyright
2014-08-10 22:02
3.3K
oldstable_changelog
2020-07-29 15:34
17K
oldstable_copyright
2018-09-30 08:01
3.3K
stable-kfreebsd_changelog
2014-08-11 10:55
9.7K
stable-kfreebsd_copyright
2014-08-10 22:02
3.3K
stable_changelog
2022-12-06 15:57
17K
stable_copyright
2022-12-06 15:57
3.3K
testing-kfreebsd_changelog
2014-08-11 10:55
9.7K
testing-kfreebsd_copyright
2014-08-10 22:02
3.3K
testing_changelog
2024-10-08 09:14
18K
testing_copyright
2024-10-08 09:14
3.3K
unstable_changelog
2024-10-08 09:14
18K
unstable_copyright
2024-10-08 09:14
3.3K
Apache Server at metadata.ftp-master.debian.org Port 443