uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /debian/pool/main/a/agda/

Show dotfiles
Name
Last modified
Size
../
-
-
agda-bin_2.6.2.2-1.1_amd64.deb
17-Feb-2026 21:28
7.39 MB
agda-bin_2.6.4.3-1+b2_amd64.deb
17-Feb-2026 21:28
9.39 MB
agda-bin_2.6.4.3-1+b2_arm64.deb
17-Feb-2026 21:28
9.41 MB
agda-bin_2.6.4.3-1+b2_i386.deb
17-Feb-2026 21:28
14.07 MB
agda-bin_2.8.0-2_amd64.deb
17-Feb-2026 21:28
9.81 MB
agda-bin_2.8.0-2_arm64.deb
17-Feb-2026 21:28
9.86 MB
agda-bin_2.8.0-2_i386.deb
17-Feb-2026 21:28
9.7 MB
agda_2.6.2.2-1.1_all.deb
17-Feb-2026 21:28
12.02 KB
agda_2.6.4.3-1_all.deb
17-Feb-2026 21:28
11.86 KB
agda_2.8.0-2_all.deb
17-Feb-2026 21:28
16.99 KB
elpa-agda2-mode_2.6.2.2-1.1_all.deb
17-Feb-2026 21:28
49.75 KB
elpa-agda2-mode_2.6.4.3-1_all.deb
17-Feb-2026 21:28
50.11 KB
elpa-agda2-mode_2.8.0-2_all.deb
17-Feb-2026 21:28
56.3 KB
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
17-Feb-2026 21:28
23.7 MB
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb
17-Feb-2026 21:28
21.76 MB
libghc-agda-dev_2.6.4.3-1+b2_arm64.deb
17-Feb-2026 21:28
23.34 MB
libghc-agda-dev_2.6.4.3-1+b2_i386.deb
17-Feb-2026 21:28
35.61 MB
libghc-agda-dev_2.8.0-2_amd64.deb
17-Feb-2026 21:28
35.92 MB
libghc-agda-dev_2.8.0-2_arm64.deb
17-Feb-2026 21:28
38.21 MB
libghc-agda-dev_2.8.0-2_i386.deb
17-Feb-2026 21:28
36.4 MB
libghc-agda-doc_2.6.2.2-1.1_all.deb
17-Feb-2026 21:28
6.29 MB
libghc-agda-doc_2.6.4.3-1_all.deb
17-Feb-2026 21:28
7.14 MB
libghc-agda-doc_2.8.0-2_all.deb
17-Feb-2026 21:28
7.23 MB