File information
- Filename: acl2-books-source_8.5dfsg-5_all.deb
- Path: /raspbian/pool/main/a/acl2/acl2-books-source_8.5dfsg-5_all.deb
- Size: 24M (24662324 bytes)
- Last modified: Mon, 16 Jan 2023 14:55:57 GMT (Unix time: 1673880957)
Download file from preferred mirror