Welcome to REDDOGLINUX.DDNS.NET
For the most updated information please read the Changelogs available in the x86_64 repository.
[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]agda_2.6.4.3-1_all.deb2025-12-17 19:25 3.6KDebian package
[ ]agda_2.6.3-1build1_all.deb2025-12-15 02:51 3.7KDebian package
[ ]elpa-agda2-mode_2.6.3-1build1_all.deb2025-12-15 02:51 45KDebian package
[ ]elpa-agda2-mode_2.6.4.3-1_all.deb2025-12-17 19:25 45KDebian package
[ ]libghc-agda-doc_2.6.3-1build1_all.deb2025-12-15 02:51 6.0MDebian package
[ ]libghc-agda-doc_2.6.4.3-1_all.deb2025-12-17 19:25 6.4MDebian package
[ ]agda-bin_2.6.4.3-1_amd64.deb2025-12-17 19:25 10MDebian package
[ ]agda-bin_2.6.3-1build1_amd64.deb2025-12-15 02:51 10MDebian package
[ ]libghc-agda-dev_2.6.4.3-1_amd64.deb2025-12-17 19:25 23MDebian package
[ ]libghc-agda-dev_2.6.3-1build1_amd64.deb2025-12-15 02:51 24MDebian package

Current bandwidth utilization 117.98 Mbit/s
Current bandwidth utilization 117.98 Mbit/s