Debian
acl2 package

acl2 4.1-3 source package in Debian

Changelog

acl2 (4.1-3) unstable; urgency=low


  * build-dep latest gcl
  * Bug fix: "FTBFS on mips: Terminated", thanks to Cyril Brulebois
    (Closes: #599946).
  * Bug fix: "FTBFS on mipsel: Unrecoverable error: Segmentation
    violation..", thanks to Cyril Brulebois (Closes: #599998).

 -- Camm Maguire <email address hidden>  Wed, 20 Oct 2010 16:15:56 +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_4.1-3.dsc 1.2 KiB 83559b7dc000275365c7e499554d6fac00c38cce017865313c6ad0b882f1220a
acl2_4.1.orig.tar.gz 10.9 MiB 5ff0cb73dd3c2a1c5ff339174799d4c0762fd2a6aff154f7982ac1758ee7bc21
acl2_4.1-3.debian.tar.gz 17.2 KiB 914e583bce6d5fa463832ce20761fff5ee124e4df7e45b7bd5f59f5e8a09770c

No changes file available.

Binary packages built by this source