acl2 6.0-1 source package in Debian
Changelog
acl2 (6.0-1) unstable; urgency=low * New upstream release -- Camm Maguire <email address hidden> Mon, 07 Jan 2013 21:45:40 +0000
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_6.0-1.dsc | 1.7 KiB | 0bac8801ba0471914c3f404fd903948c8d6898298372361ec2e3a904167d54e0 |
acl2_6.0.orig-books.tar.gz | 10.5 MiB | 01efa29d8547856f5b8c566d834c386434aa82b4edaa022ffbb14cd570e7ffdb |
acl2_6.0.orig.tar.gz | 6.5 MiB | 691cdf02ce9950cf0b06dc893a89c8da694ec553cc0f798049b61ddd304ab4ae |
acl2_6.0-1.debian.tar.gz | 155.3 KiB | 1eb96062d4290edde2b857ecd029984d8b3e5b14d2b36e512fc05d9a54f2cca7 |
Available diffs
- diff from 5.0-1 to 6.0-1 (3.1 MiB)
No changes file available.