Debian
acl2 package

acl2 3.6-2 source package in Debian

Changelog

acl2 (3.6-2) unstable; urgency=low


  * Bug fix: "FTBFS [alpha, hppa] - getprop.cert: No such file or
    directory", thanks to dann frazier (Closes: #562207).  Build-depend on
    gcl >= 2.6.7-51.
  * Bug fix: "adds non-existent TAGS file to tag file list", thanks to
    Timo Juhani Lindfors (Closes: #505812).  Don't automatically load tags
    table.

 -- Camm Maguire <email address hidden>  Sun, 03 Jan 2010 13:26:38 +0000

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
acl2_3.6-2.dsc 1.1 KiB 4e01aad6dcc32ef9350ff1ab953867dd5f951c996310b55344d187a158f1973d
acl2_3.6.orig.tar.gz 10.0 MiB b6b57684f960ff40eb987b1456433a2f82f6f905b9b01e3f7fdb3553f7c172b3
acl2_3.6-2.diff.gz 13.8 KiB 69ba00e3e05c3d9ecd364455bf78b7a755d02dd34c395938c3eb09c67c3c2828

No changes file available.

Binary packages built by this source