nas // 945 GiB free of 1.19 TiB
| c | File Name | Size | Date |
|---|---|---|---|
| parent folder | - | - | |
| - | acl2-books-certs_8.6+dfsg-2_all.deb | 221620564 | 2025-04-27 19:56:16 |
| - | acl2-books-source_8.6+dfsg-2_all.deb | 27502672 | 2025-04-27 19:56:16 |
| - | acl2-books_8.6+dfsg-2_amd64.deb | 435743480 | 2025-04-27 19:40:58 |
| - | acl2-books_8.6+dfsg-2_i386.deb | 360999248 | 2025-04-27 19:25:16 |
| - | acl2-doc_8.6+dfsg-2_all.deb | 524912 | 2025-04-27 19:56:16 |
| - | acl2-infix-source_8.6+dfsg-2_all.deb | 72652 | 2025-04-27 19:56:16 |
| - | acl2-infix_8.6+dfsg-2_amd64.deb | 886800 | 2025-04-27 19:40:58 |
| - | acl2-infix_8.6+dfsg-2_i386.deb | 872680 | 2025-04-27 19:25:16 |
| - | acl2-source_8.6+dfsg-2_all.deb | 3996788 | 2025-04-27 19:56:16 |
| - | acl2_8.6+dfsg-2.debian.tar.xz | 445128 | 2025-04-27 12:54:28 |
| - | acl2_8.6+dfsg-2.dsc | 2286 | 2025-04-27 12:54:28 |
| - | acl2_8.6+dfsg-2_amd64.deb | 36900528 | 2025-04-27 19:40:58 |
| - | acl2_8.6+dfsg-2_i386.deb | 40681708 | 2025-04-27 19:25:16 |
| - | acl2_8.6+dfsg.orig.tar.gz | 240329345 | 2025-04-26 21:21:59 |
| - | elpa-acl2_8.6+dfsg-2_all.deb | 78264 | 2025-04-27 19:56:16 |