Debian
acl2 package

acl2 5.0-1 source package in Debian

Changelog

acl2 (5.0-1) unstable; urgency=low


  * New upstream release
  * books retrieved separately from http://acl2-books.googlecode.com/files/books-5.0.tar.gz
  * Bug fix: "Should build-depend on emacs23 | emacs24", thanks to
    <email address hidden></a>; (Closes: #682719).

 -- Camm Maguire <email address hidden>  Fri, 24 Aug 2012 18:45:28 +0000

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
acl2_5.0-1.dsc 1.5 KiB 6a0e76456918d8254f73bd9d1f4c6cb4036eea8bc28583274619022e4ab4ba62
acl2_5.0.orig.tar.gz 16.5 MiB 60d3da31a80ad5f31c5530b54aa9172e60acaf6513713145a3fd2ff64b3b834c
acl2_5.0-1.debian.tar.gz 18.1 KiB c033de3f9bdfcf3ef93b8482a05bc6a48f41d7f637c3b6820514cb1e9ce9da77

No changes file available.

Binary packages built by this source