acl2 6.5-2 source package in Debian
Changelog
acl2 (6.5-2) unstable; urgency=medium * build-dep latest gcl -- Camm Maguire <email address hidden> Wed, 20 Aug 2014 00:37:33 +0000
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 | |
---|---|---|---|---|
Jessie | release | main | math |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_6.5-2.dsc | 1.8 KiB | f78b8e30cf09f4a4720feb490acaf8171cada45f07f8d7675000dd07a0ac5ded |
acl2_6.5.orig-books.tar.gz | 14.3 MiB | bb1b95a06f2e946f9610d7221bb97eb1be126a64cb01ef85efa69fafe9454c34 |
acl2_6.5.orig.tar.gz | 5.9 MiB | cf8c1c81a68429d1d77d6e23c9a84cbd0ec9e270f21aa04d00bafa761f656ea6 |
acl2_6.5-2.debian.tar.xz | 125.3 KiB | a0858f9ae376186e143a8e38f41d53df7b9a13f2db2fd72713d2558dd727791d |
Available diffs
- diff from 6.4-4 to 6.5-2 (4.7 MiB)
No changes file available.