Publishing details

• Published on 2013-10-24
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

acl2 (6.3-5) unstable; urgency=low


  * rebuild against latest gcl

 -- Camm Maguire <email address hidden>  Fri, 18 Oct 2013 16:10:57 +0000

Builds

• amd64
• arm64
• armhf
• i386
• powerpc
• ppc64el

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_6.3-5_all.deb (11.1 MiB)
• acl2-books-source_6.3-5_all.deb (9.1 MiB)
• acl2-books_6.3-5_amd64.deb (40.1 MiB)
• acl2-books_6.3-5_armhf.deb (108.1 MiB)
• acl2-books_6.3-5_i386.deb (35.8 MiB)
• acl2-books_6.3-5_powerpc.deb (37.7 MiB)
• acl2-doc_6.3-5_all.deb (12.1 MiB)
• acl2-emacs_6.3-5_all.deb (55.0 KiB)
• acl2-infix-source_6.3-5_all.deb (86.0 KiB)
• acl2-infix_6.3-5_amd64.deb (200.3 KiB)
• acl2-infix_6.3-5_armhf.deb (573.5 KiB)
• acl2-infix_6.3-5_i386.deb (189.0 KiB)
• acl2-infix_6.3-5_powerpc.deb (212.1 KiB)
• acl2-source_6.3-5_all.deb (3.6 MiB)
• acl2_6.3-5.debian.tar.gz (157.7 KiB)
• acl2_6.3-5.dsc (1.7 KiB)
• acl2_6.3-5_amd64.deb (26.6 MiB)
• acl2_6.3-5_armhf.deb (23.1 MiB)
• acl2_6.3-5_i386.deb (22.9 MiB)
• acl2_6.3-5_powerpc.deb (24.7 MiB)
• acl2_6.3.orig-books.tar.gz (13.0 MiB)
• acl2_6.3.orig.tar.gz (6.7 MiB)