Index of /freexian/extended-lts/pool/main/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_4.3-3_all.deb2025-08-20 13:41 4.2M 
[ ]acl2-books-certs_6.5-2_all.deb2025-08-20 15:18 6.2M 
[ ]acl2-books-certs_7.2dfsg-3_all.deb2025-08-19 18:36 52M 
[ ]acl2-books-certs_8.0dfsg-1_all.deb2025-08-20 15:18 70M 
[ ]acl2-books-certs_8.3dfsg-2_all.deb2025-08-20 15:18 139M 
[ ]acl2-books-certs_8.5dfsg-5_all.deb2025-08-20 15:18 170M 
[ ]acl2-books-source_4.3-3_all.deb2025-08-20 13:41 6.2M 
[ ]acl2-books-source_6.5-2_all.deb2025-08-20 15:18 6.6M 
[ ]acl2-books-source_7.2dfsg-3_all.deb2025-08-19 18:36 10M 
[ ]acl2-books-source_8.0dfsg-1_all.deb2025-08-20 15:18 12M 
[ ]acl2-books-source_8.3dfsg-2_all.deb2025-08-20 15:18 19M 
[ ]acl2-books-source_8.5dfsg-5_all.deb2025-08-20 15:18 24M 
[ ]acl2-books_4.3-3_amd64.deb2025-08-20 13:41 15M 
[ ]acl2-books_4.3-3_i386.deb2025-09-01 15:30 13M 
[ ]acl2-books_6.5-2_amd64.deb2025-08-20 15:18 22M 
[ ]acl2-books_6.5-2_i386.deb2025-09-01 15:30 21M 
[ ]acl2-books_7.2dfsg-3_amd64.deb2025-08-19 18:36 103M 
[ ]acl2-books_7.2dfsg-3_i386.deb2025-09-01 15:30 86M 
[ ]acl2-books_8.0dfsg-1_amd64.deb2025-08-20 15:18 132M 
[ ]acl2-books_8.0dfsg-1_i386.deb2025-09-01 15:30 111M 
[ ]acl2-books_8.3dfsg-2_amd64.deb2025-08-20 15:18 241M 
[ ]acl2-books_8.3dfsg-2_i386.deb2025-09-01 15:30 204M 
[ ]acl2-books_8.5dfsg-5_amd64.deb2025-08-20 15:18 287M 
[ ]acl2-books_8.5dfsg-5_i386.deb2025-09-01 15:30 248M 
[ ]acl2-doc_4.3-3_all.deb2025-08-20 13:41 354K 
[ ]acl2-doc_6.5-2_all.deb2025-08-20 15:18 1.6M 
[ ]acl2-doc_7.2dfsg-3_all.deb2025-08-19 18:36 372K 
[ ]acl2-doc_8.0dfsg-1_all.deb2025-08-20 15:18 392K 
[ ]acl2-doc_8.3dfsg-2_all.deb2025-08-20 15:18 437K 
[ ]acl2-doc_8.5dfsg-5_all.deb2025-08-20 15:18 470K 
[ ]acl2-emacs_4.3-3_all.deb2025-08-20 13:41 59K 
[ ]acl2-emacs_6.5-2_all.deb2025-08-20 15:18 59K 
[ ]acl2-emacs_7.2dfsg-3_all.deb2025-08-19 18:36 63K 
[ ]acl2-emacs_8.0dfsg-1_all.deb2025-08-20 15:18 66K 
[ ]acl2-emacs_8.3dfsg-2_all.deb2025-08-20 15:18 68K 
[ ]acl2-infix-source_4.3-3_all.deb2025-08-20 13:41 89K 
[ ]acl2-infix-source_6.5-2_all.deb2025-08-20 15:18 78K 
[ ]acl2-infix-source_7.2dfsg-3_all.deb2025-08-19 18:36 77K 
[ ]acl2-infix-source_8.0dfsg-1_all.deb2025-08-20 15:18 77K 
[ ]acl2-infix-source_8.3dfsg-2_all.deb2025-08-20 15:18 78K 
[ ]acl2-infix-source_8.5dfsg-5_all.deb2025-08-20 15:18 71K 
[ ]acl2-infix_4.3-3_amd64.deb2025-08-20 13:41 199K 
[ ]acl2-infix_4.3-3_i386.deb2025-09-01 15:30 180K 
[ ]acl2-infix_6.5-2_amd64.deb2025-08-20 15:18 147K 
[ ]acl2-infix_6.5-2_i386.deb2025-09-01 15:30 148K 
[ ]acl2-infix_7.2dfsg-3_amd64.deb2025-08-19 18:36 410K 
[ ]acl2-infix_7.2dfsg-3_i386.deb2025-09-01 15:30 381K 
[ ]acl2-infix_8.0dfsg-1_amd64.deb2025-08-20 15:18 422K 
[ ]acl2-infix_8.0dfsg-1_i386.deb2025-09-01 15:30 390K 
[ ]acl2-infix_8.3dfsg-2_amd64.deb2025-08-20 15:18 479K 
[ ]acl2-infix_8.3dfsg-2_i386.deb2025-09-01 15:30 485K 
[ ]acl2-infix_8.5dfsg-5_amd64.deb2025-08-20 15:18 464K 
[ ]acl2-infix_8.5dfsg-5_i386.deb2025-09-01 15:30 477K 
[ ]acl2-source_4.3-3_all.deb2025-08-20 13:41 3.1M 
[ ]acl2-source_6.5-2_all.deb2025-08-20 15:18 2.6M 
[ ]acl2-source_7.2dfsg-3_all.deb2025-08-19 18:36 2.8M 
[ ]acl2-source_8.0dfsg-1_all.deb2025-08-20 15:18 2.9M 
[ ]acl2-source_8.3dfsg-2_all.deb2025-08-20 15:18 3.2M 
[ ]acl2-source_8.5dfsg-5_all.deb2025-08-20 15:18 3.4M 
[ ]acl2_4.3-3_amd64.deb2025-08-20 13:41 27M 
[ ]acl2_4.3-3_i386.deb2025-09-01 15:30 23M 
[ ]acl2_6.5-2_amd64.deb2025-08-20 15:18 16M 
[ ]acl2_6.5-2_i386.deb2025-09-01 15:30 13M 
[ ]acl2_7.2dfsg-3_amd64.deb2025-08-19 18:36 17M 
[ ]acl2_7.2dfsg-3_i386.deb2025-09-01 15:30 15M 
[ ]acl2_8.0dfsg-1_amd64.deb2025-08-20 15:18 19M 
[ ]acl2_8.0dfsg-1_i386.deb2025-09-01 15:30 16M 
[ ]acl2_8.3dfsg-2_amd64.deb2025-08-20 15:18 20M 
[ ]acl2_8.3dfsg-2_i386.deb2025-09-01 15:30 19M 
[ ]acl2_8.5dfsg-5_amd64.deb2025-08-20 15:18 22M 
[ ]acl2_8.5dfsg-5_i386.deb2025-09-01 15:30 19M 
[ ]elpa-acl2_8.5dfsg-5_all.deb2025-08-20 15:18 69K 
Apache/2.4.65 (Debian) Server at mirror.tecnico.ulisboa.pt Port 443