Publishing details

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

Changelog

acl2 (8.0dfsg-1) unstable; urgency=medium

  * New upstream release
  * Applied dfsg changes from 7.1
  * build-dep latest gcl

 -- Camm Maguire <email address hidden>  Fri, 12 Jan 2018 14:04:36 +0000

Builds

• amd64
• arm64
• armhf
• i386
• 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_8.0dfsg-1_all.deb (70.0 MiB)
• acl2-books-source_8.0dfsg-1_all.deb (11.9 MiB)
• acl2-books_8.0dfsg-1_amd64.deb (131.7 MiB)
• acl2-books_8.0dfsg-1_arm64.deb (134.7 MiB)
• acl2-books_8.0dfsg-1_armhf.deb (115.7 MiB)
• acl2-books_8.0dfsg-1_i386.deb (114.1 MiB)
• acl2-books_8.0dfsg-1_ppc64el.deb (135.3 MiB)
• acl2-books_8.0dfsg-1_s390x.deb (121.5 MiB)
• acl2-doc_8.0dfsg-1_all.deb (385.1 KiB)
• acl2-emacs_8.0dfsg-1_all.deb (58.9 KiB)
• acl2-infix-source_8.0dfsg-1_all.deb (70.2 KiB)
• acl2-infix_8.0dfsg-1_amd64.deb (414.2 KiB)
• acl2-infix_8.0dfsg-1_arm64.deb (420.5 KiB)
• acl2-infix_8.0dfsg-1_armhf.deb (400.2 KiB)
• acl2-infix_8.0dfsg-1_i386.deb (381.1 KiB)
• acl2-infix_8.0dfsg-1_ppc64el.deb (464.2 KiB)
• acl2-infix_8.0dfsg-1_s390x.deb (378.0 KiB)
• acl2-source_8.0dfsg-1_all.deb (2.9 MiB)
• acl2_8.0dfsg-1.debian.tar.xz (200.0 KiB)
• acl2_8.0dfsg-1.dsc (2.2 KiB)
• acl2_8.0dfsg-1_amd64.deb (18.8 MiB)
• acl2_8.0dfsg-1_arm64.deb (16.9 MiB)
• acl2_8.0dfsg-1_armhf.deb (15.4 MiB)
• acl2_8.0dfsg-1_i386.deb (16.2 MiB)
• acl2_8.0dfsg-1_ppc64el.deb (18.6 MiB)
• acl2_8.0dfsg-1_s390x.deb (17.8 MiB)
• acl2_8.0dfsg.orig.tar.gz (74.0 MiB)