acl2 4.0-3 source package in Ubuntu

Changelog

acl2 (4.0-3) unstable; urgency=low

  * compile nats to avoid invocation stack overflow on #-native-reloc
    machines

acl2 (4.0-2) unstable; urgency=low

  * Work around absence of HOME in buildd environments.

acl2 (4.0-1) unstable; urgency=low

  * New upstream release
 -- Angel Abad <email address hidden>   Fri, 09 Jul 2010 13:00:12 +0000

Upload details

Uploaded by:
Angel Abad
Sponsored by:
Stefano Rivera
Uploaded to:
Maverick
Original maintainer:
Camm Maguire
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
acl2_4.0.orig.tar.gz 10.9 MiB 2410c0d55e687db999a3467427a43a28eafbced0340751f6c401ba4deda64880
acl2_4.0-3.diff.gz 15.6 KiB 3835bedf951387a5367294876fac96ee3adee50a875ee68e2455e910556d54a8
acl2_4.0-3.dsc 1.1 KiB 3de45c55fc17553cf9e3d93674e38c06ba255d0cc51cd876b4cfa7e481659aad

Available diffs

View changes file

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu maverick.

No description available for acl2 in ubuntu maverick.

acl2-books: No summary available for acl2-books in ubuntu natty.

No description available for acl2-books in ubuntu natty.

acl2-books-certs: No summary available for acl2-books-certs in ubuntu maverick.

No description available for acl2-books-certs in ubuntu maverick.

acl2-books-source: No summary available for acl2-books-source in ubuntu maverick.

No description available for acl2-books-source in ubuntu maverick.

acl2-doc: No summary available for acl2-doc in ubuntu maverick.

No description available for acl2-doc in ubuntu maverick.

acl2-emacs: No summary available for acl2-emacs in ubuntu maverick.

No description available for acl2-emacs in ubuntu maverick.

acl2-infix: No summary available for acl2-infix in ubuntu maverick.

No description available for acl2-infix in ubuntu maverick.

acl2-infix-source: No summary available for acl2-infix-source in ubuntu natty.

No description available for acl2-infix-source in ubuntu natty.

acl2-source: No summary available for acl2-source in ubuntu maverick.

No description available for acl2-source in ubuntu maverick.