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  -  
[ ]elpa-acl2_8.6+dfsg-3_all.deb2025-12-17 19:24 79KDebian package
[ ]acl2_8.6+dfsg-3_amd64.deb2025-12-17 19:24 45MDebian package
[ ]acl2-source_8.6+dfsg-3_all.deb2025-12-17 19:24 3.9MDebian package
[ ]acl2-infix_8.6+dfsg-3_amd64.deb2025-12-17 19:24 1.0MDebian package
[ ]acl2-infix-source_8.6+dfsg-3_all.deb2025-12-17 19:24 73KDebian package
[ ]acl2-doc_8.6+dfsg-3_all.deb2025-12-17 19:24 516KDebian package
[ ]acl2-books_8.6+dfsg-3_amd64.deb2025-12-17 19:24 469MDebian package
[ ]acl2-books-source_8.6+dfsg-3_all.deb2025-12-17 19:24 26MDebian package
[ ]acl2-books-certs_8.6+dfsg-3_all.deb2025-12-17 19:24 268MDebian package
[ ]elpa-acl2_8.5dfsg-5build3_all.deb2025-12-15 02:50 71KDebian package
[ ]acl2_8.5dfsg-5build3_amd64.deb2025-12-15 02:50 26MDebian package
[ ]acl2-source_8.5dfsg-5build3_all.deb2025-12-15 02:50 3.5MDebian package
[ ]acl2-infix_8.5dfsg-5build3_amd64.deb2025-12-15 02:50 538KDebian package
[ ]acl2-infix-source_8.5dfsg-5build3_all.deb2025-12-15 02:50 72KDebian package
[ ]acl2-doc_8.5dfsg-5build3_all.deb2025-12-15 02:50 474KDebian package
[ ]acl2-books_8.5dfsg-5build3_amd64.deb2025-12-15 02:50 331MDebian package
[ ]acl2-books-source_8.5dfsg-5build3_all.deb2025-12-15 02:50 23MDebian package
[ ]acl2-books-certs_8.5dfsg-5build3_all.deb2025-12-15 02:50 216MDebian package

Current bandwidth utilization 26.58 Mbit/s
Current bandwidth utilization 26.58 Mbit/s