acl2 6.5-5 source package in Debian
Changelog
acl2 (6.5-5) unstable; urgency=medium * fix syntax error in debian/rules -- Camm Maguire <email address hidden> Sun, 26 Oct 2014 12:51:22 -0400
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_6.5-5.dsc | 1.8 KiB | 2f44664d1502cc4d219d523c874d59c8c84c0f1a0af62cce12c7b912672602ca |
acl2_6.5.orig-books.tar.gz | 14.3 MiB | bb1b95a06f2e946f9610d7221bb97eb1be126a64cb01ef85efa69fafe9454c34 |
acl2_6.5.orig.tar.gz | 5.9 MiB | cf8c1c81a68429d1d77d6e23c9a84cbd0ec9e270f21aa04d00bafa761f656ea6 |
acl2_6.5-5.debian.tar.xz | 125.5 KiB | 7424d4ed20ee69742bae0f694bbb46b8dc87ec739cb50cd7f7d8f4a6356b98ff |
Available diffs
- diff from 6.5-2 to 6.5-5 (1.8 KiB)
- diff from 6.5-4 to 6.5-5 (526 bytes)
No changes file available.