File information
- Filename: acl2-books_8.3dfsg-1_armhf.deb
- Path: /raspbian/pool/main/a/acl2/acl2-books_8.3dfsg-1_armhf.deb
- Size: 13K (12956 bytes)
- Last modified: Sat, 29 Aug 2020 10:08:15 GMT (Unix time: 1598695695)
Download file from preferred mirror