Package: acl2-infix-source Priority: optional Section: universe/math Installed-Size: 376 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-infix-source_4.2-1_all.deb Size: 81590 MD5sum: 319c93f0663038478cb76ff833dd6712 SHA1: d14c005784da767db43af2be859dcfbbf16f3148 SHA256: df2d92901a2f188af014e744f11df10c2d47dcb70ee6e3a79bf7ecd90387be22 Description: A Computational Logic for Applicative Common Lisp: infix source Description-md5: 3b2b8cfa3f0869a8947ae92b65105d7c Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu