Debian
acl2 package

acl2 7.1-2 source package in Debian

Changelog

acl2 (7.1-2) unstable; urgency=medium

  * build-dep latest gcl
  * 50M code-block-reserve on amd64

 -- Camm Maguire <email address hidden>  Mon, 28 Sep 2015 15:57:09 +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-2.dsc 2.2 KiB be8b124f40d0eaa099a6efdf45dd5fb3daeba9c1750cde0aed31cdcf100ded38
acl2_7.1.orig.tar.gz 60.4 MiB 4b17ee4c3bbb554fd6e51009f91899904a61cee88a29613b5886f51637d9ac4e
acl2_7.1-2.debian.tar.xz 126.0 KiB 8088c6a7cb66d13ef1c2a7aab80349e379883ba375e1bc6efe8045993e8b8f45

No changes file available.

Binary packages built by this source