acl2 - 8.5dfsg-6 main

Versions in landing: 8.5dfsg-6
Maintainer: Camm Maguire <camm [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 4.5.1
Architectures: any  all 
 
Homepage Build Jobs

Owned Binaries

Build Dependencies

Files

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