acl2 - 8.5dfsg-5 main

Versions in crimson: 8.5dfsg-5
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-5.dsc 2.3 kB 3dfa419ecdde8564078f408338a8ef338f4209c476c3918c236e9bed7cc068d5
acl2_8.5dfsg.orig.tar.gz 223.5 MB 6e9c7a3c75111429e8009369a28593aa91d84f668e7918980f33bd9996c1d819
acl2_8.5dfsg-5.debian.tar.xz 312.9 kB 68b7e667901b0b77e27f9884f8b96b5571858a1e0a3a38ca3289440f39f93008