Debian
acl2 package

acl2 4.0-3 source package in Debian

Changelog

acl2 (4.0-3) unstable; urgency=low


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

 -- Camm Maguire <email address hidden>  Fri, 09 Jul 2010 13:00:12 +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
Squeeze release main math

Builds

Downloads

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

No changes file available.

Binary packages built by this source