File information
- Filename: acl2-books-certs_8.0dfsg-1_all.deb
- Path: /raspbian/pool/main/a/acl2/acl2-books-certs_8.0dfsg-1_all.deb
- Size: 70M (73306868 bytes)
- Last modified: Sat, 13 Jan 2018 13:52:57 GMT (Unix time: 1515851577)
Download file from preferred mirror