Debian
acl2 package

acl2 4.0-2 source package in Debian

Changelog

acl2 (4.0-2) unstable; urgency=low


  * Work around absence of HOME in buildd environments.

 -- Camm Maguire <email address hidden>  Thu, 08 Jul 2010 16:14:04 +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.0-2.dsc 1.1 KiB 02fb4ce5d236702fd9f5c3a35aea8b36d67a955b6d1989b4367afab7f4b24b91
acl2_4.0.orig.tar.gz 10.9 MiB 2410c0d55e687db999a3467427a43a28eafbced0340751f6c401ba4deda64880
acl2_4.0-2.diff.gz 15.3 KiB ebbef55bdc147eb4db950abbb34c008e4164975827564c086b4402c0a5cc363a

No changes file available.

Binary packages built by this source