File information
- Filename: acl2-books_8.5dfsg-5_armhf.deb
- Path: /raspbian/pool/main/a/acl2/acl2-books_8.5dfsg-5_armhf.deb
- Size: 266M (278815612 bytes)
- Last modified: Thu, 26 Jan 2023 10:08:06 GMT (Unix time: 1674727686)
Download file from preferred mirror