Package: acl2-source Priority: optional Section: universe/math Installed-Size: 12008 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Camm Maguire <camm@debian.org> Architecture: all Source: acl2 Version: 4.2-1 Replaces: acl2 (<= 2.7-9) Conflicts: acl2 (<= 2.7-9) Filename: pool/universe/a/acl2/acl2-source_4.2-1_all.deb Size: 3124826 MD5sum: 327c292efcc3a85f00a7a873f8d836c0 SHA1: 6bb952de72a4ba9059840b00756675c5db0fed10 SHA256: ba143ad47833e6eb35802365ec333b54e318c28f4a4a8e25e3ae94a4f0703429 Description: A Computational Logic for Applicative Common Lisp: source files Description-md5: c66c164adc423edb70263525ab5c3992 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu