Publishing details

• Published on 2015-10-22
• Copied from debian sid in Primary Archive for Debian GNU/Linux

Changelog

acl2 (7.1-1) unstable; urgency=medium

  * New upstream release
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Fri, 29 May 2015 14:33:46 +0000

Builds

• ppc64el
• s390x

Built packages

• acl2 Computational Logic for Applicative Common Lisp: main binary

• acl2-books Computational Logic for Applicative Common Lisp: compiled libraries

• acl2-books-certs Computational Logic for Applicative Common Lisp: library certificates

• acl2-books-source Computational Logic for Applicative Common Lisp: library sources

• acl2-doc Computational Logic for Applicative Common Lisp: documentation

• acl2-emacs Computational Logic for Applicative Common Lisp: emacs interface

• acl2-infix Computational Logic for Applicative Common Lisp: infix interface

• acl2-infix-source Computational Logic for Applicative Common Lisp: infix source

• acl2-source Computational Logic for Applicative Common Lisp: source files

Package files

• acl2-books-certs_7.1-1_all.deb (12.6 MiB)
• acl2-books-source_7.1-1_all.deb (9.9 MiB)
• acl2-books_7.1-1_amd64.deb (18.7 MiB)
• acl2-books_7.1-1_arm64.deb (18.7 MiB)
• acl2-books_7.1-1_armhf.deb (59.5 MiB)
• acl2-books_7.1-1_i386.deb (17.7 MiB)
• acl2-books_7.1-1_powerpc.deb (15.4 MiB)
• acl2-doc_7.1-1_all.deb (353.3 KiB)
• acl2-emacs_7.1-1_all.deb (55.2 KiB)
• acl2-infix-source_7.1-1_all.deb (70.3 KiB)
• acl2-infix_7.1-1_amd64.deb (140.2 KiB)
• acl2-infix_7.1-1_arm64.deb (147.5 KiB)
• acl2-infix_7.1-1_armhf.deb (423.2 KiB)
• acl2-infix_7.1-1_i386.deb (142.1 KiB)
• acl2-infix_7.1-1_powerpc.deb (132.7 KiB)
• acl2-source_7.1-1_all.deb (2.7 MiB)
• acl2_7.1-1.debian.tar.xz (125.9 KiB)
• acl2_7.1-1.dsc (2.2 KiB)
• acl2_7.1-1_amd64.deb (16.5 MiB)
• acl2_7.1-1_arm64.deb (14.9 MiB)
• acl2_7.1-1_armhf.deb (15.4 MiB)
• acl2_7.1-1_i386.deb (15.7 MiB)
• acl2_7.1-1_powerpc.deb (13.4 MiB)
• acl2_7.1.orig.tar.gz (60.4 MiB)