Debian
acl2 package

acl2 3.6.1-2 source package in Debian

Changelog

acl2 (3.6.1-2) unstable; urgency=low


  * Bug fix: "acl2 depends on old / broken emacs22 package", thanks to
    Andreas Barth (Closes: #585405).
  * lintian fixes

 -- Camm Maguire <email address hidden>  Thu, 10 Jun 2010 14:09:37 +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.1-2.dsc 1.2 KiB 9df4f38b83c851e0bc092838e560e7217dd810cfaffde56172f6762e280e50ca
acl2_3.6.1.orig.tar.gz 10.0 MiB d10ecb2123fb8142d8f1869561d55b50c978088bb044b3b5ec429673172811de
acl2_3.6.1-2.diff.gz 14.9 KiB 50c22dad884649a702f2abd7b7b68378b6537bc463c05b413706769eaca2191e

No changes file available.

Binary packages built by this source