File information
- Filename: acl2-books-source_8.3dfsg-1_all.deb
- Path: /raspbian/pool/main/a/acl2/acl2-books-source_8.3dfsg-1_all.deb
- Size: 19M (19520532 bytes)
- Last modified: Mon, 24 Aug 2020 04:11:07 GMT (Unix time: 1598242267)
Download file from preferred mirror