This package may currently be unbuildable on the following architectures:
- arm64
- all
- amd64
Filename | Size | Checksum (SHA256) |
---|---|---|
acl2_8.5dfsg.orig.tar.gz | 223.5 MB | 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819 |
acl2_8.5dfsg-6.dsc | 2.3 kB | 4eb095c05e29384d639df5ef6ffffd3c0c22d9a391fe4f7ab0a80dd45a1a623f |
acl2_8.5dfsg-6.debian.tar.xz | 312.8 kB | 7f97cfc77f040ca1ef1754e164ea8de5d97929e06538ac5153887952edd659d8 |