Debian
acl2 package

acl2 3.4-1 source package in Debian

Changelog

acl2 (3.4-1) unstable; urgency=low


  * New upstream release
  * Bug fix: "acl2-status.txt should contain :INITIALIZED.", thanks to
    Lucas Nussbaum (Closes: #494328).  New release works around compiler
    issue.
  * Bug fix: "FTBFS when converted to new source format 3.0 (quilt)",
    thanks to <email address hidden></a>; (Closes: #482594). patches ->
    dpatches

 -- Camm Maguire <email address hidden>  Sun, 24 Aug 2008 21:26:46 +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.4-1.dsc 1.1 KiB 02377fa580c8f888af98be89efab6a42daedaf585195d88659efa795e0c68e58
acl2_3.4.orig.tar.gz 7.6 MiB 71373ab5d0fe72f6db1d9a86b7b062eb09707cb7b69f69eccfd41c9f0b938abe
acl2_3.4-1.diff.gz 13.4 KiB da89cd3d9a06e7d49f31ac20bb05b67ee60adc50949158000c507b8e370a19c7

No changes file available.

Binary packages built by this source