File information
- Filename: acl2-source_8.0dfsg-1_all.deb
- Path: /raspbian/pool/main/a/acl2/acl2-source_8.0dfsg-1_all.deb
- Size: 2.9M (3081324 bytes)
- Last modified: Sat, 13 Jan 2018 13:52:59 GMT (Unix time: 1515851579)
Download file from preferred mirror