Debian
acl2 package

acl2 3.4-2 source package in Debian

Changelog

acl2 (3.4-2) unstable; urgency=low


  * New maintainer address
  * sparc sgc workaround -- disable sgc here only

 -- Camm Maguire <email address hidden>  Mon, 23 Feb 2009 01:54:24 +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.4-2.dsc 1.2 KiB 15e9c4d1117f62455872aa9dc6c4b4c9e0e582f1a9c06b92e06524ce31edd8d2
acl2_3.4.orig.tar.gz 7.6 MiB 71373ab5d0fe72f6db1d9a86b7b062eb09707cb7b69f69eccfd41c9f0b938abe
acl2_3.4-2.diff.gz 13.6 KiB b35c62e578439d5519fcd376a69487f1f2b6be84cc14d194bd48d0316fa2f676

No changes file available.

Binary packages built by this source