Debian
acl2 package

acl2 7.1-3 source package in Debian

Changelog

acl2 (7.1-3) unstable; urgency=medium

  * don't pre-allocate contiguous blocks in acl2.lisp
  * build-dep latest gcl
  * revert code-block-reserve to default set by upstream

 -- Camm Maguire <email address hidden>  Fri, 09 Oct 2015 01:09:05 +0000

Upload details

Uploaded by:
Camm Maguire
Uploaded to:
Sid
Original maintainer:
Camm Maguire
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
acl2_7.1-3.dsc 2.2 KiB 02181adf42512a36aea046cc9f51e8ecaadfa4ab1560867b0c1f2e8dd3a11c6c
acl2_7.1.orig.tar.gz 60.4 MiB 4b17ee4c3bbb554fd6e51009f91899904a61cee88a29613b5886f51637d9ac4e
acl2_7.1-3.debian.tar.xz 126.3 KiB beafb60ae12548f62c27d3c5d5a4cac813f038363551b478cc2093bdd4c1e56f

No changes file available.

Binary packages built by this source