acl2 - 8.6+dfsg-2 main

Versions in landing: 8.6+dfsg-2
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.6+dfsg-2.dsc 2.3 kB 347b31fa4b763313369695d54db7a84a74739cfc53ba6037b8a3ab14b4256459
acl2_8.6+dfsg.orig.tar.gz 240.3 MB f633ff0ad42874381b96c34b38f4612629c3c267e2c6214f9543d03a447b366e
acl2_8.6+dfsg-2.debian.tar.xz 445.1 kB 75f1788d07f74adc491c02739e0258d42bfe2d9d5bfd0b2b0a9d356074a1a2fb