acl2 3.6-3 source package in Debian
Changelog
acl2 (3.6-3) unstable; urgency=low
* Bug fix: "FTBFS on kfreebsd-i386: /bin/sh: line 1: 42209 Segmentation
fault gcl < workxxx", thanks to Cyril Brulebois (Closes: #563604).
-- Camm Maguire <email address hidden> Mon, 04 Jan 2010 18:12:16 +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 | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_3.6-3.dsc | 1.1 KiB | 79acae8303d4ae71d7bda37845cf8aa14e79f08e64dbec803d60cad9b22aa1b8 |
| acl2_3.6.orig.tar.gz | 10.0 MiB | b6b57684f960ff40eb987b1456433a2f82f6f905b9b01e3f7fdb3553f7c172b3 |
| acl2_3.6-3.diff.gz | 14.0 KiB | 8de3ce36544b49a057608f38118eb5e61eb6e3c46dcd68695318d6298c72b1d5 |
No changes file available.
