acl2 - 8.0dfsg-1 main

Versions in amber: 8.0dfsg-1
 
Maintainer: Camm Maguire <camm@debian.org>

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

Build Dependencies