Debian
acl2 package

acl2 4.1-2 source package in Debian

Changelog

acl2 (4.1-2) unstable; urgency=low


  * build-dep latest gcl
  * Bug fix: "FTBFS (powerpc): ls: cannot access
    tiny.cert: No such file or directory", thanks to Philipp Kern (Closes:
    #597278).

 -- Camm Maguire <email address hidden>  Thu, 23 Sep 2010 12:44:54 +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-2.dsc 1.2 KiB f1d653c4e4a148cdeb1cbb6de32023e4acc620328f9da7d4bb1c71591e2ecb4b
acl2_4.1.orig.tar.gz 10.9 MiB 5ff0cb73dd3c2a1c5ff339174799d4c0762fd2a6aff154f7982ac1758ee7bc21
acl2_4.1-2.debian.tar.gz 17.1 KiB 49186e8dd220ae474d004a57df342a69aa40e7e5dc5548165f1e6b2efdd78005

No changes file available.

Binary packages built by this source