acl2 6.3-2 source package in Debian
Changelog
acl2 (6.3-2) unstable; urgency=low * build dep against latest gcl -- Camm Maguire <email address hidden> Sat, 12 Oct 2013 01:46:31 +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.3-2.dsc | 1.7 KiB | 21de49a69d3fe8ce482b97eaa18d3ae804a8e00f47f903b92090049b9a5c60da |
acl2_6.3.orig-books.tar.gz | 13.0 MiB | 29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa |
acl2_6.3.orig.tar.gz | 6.7 MiB | ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9 |
acl2_6.3-2.debian.tar.gz | 157.6 KiB | 1aec4dab8c7e050642d119f653086b915f58a35278c0240c0210593d1a1505b5 |
No changes file available.