acl2 6.3-3 source package in Debian
Changelog
acl2 (6.3-3) unstable; urgency=low * set HOME to $(pwd) -- Camm Maguire <email address hidden> Mon, 14 Oct 2013 15:09:48 +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-3.dsc | 1.7 KiB | 88298c7ba213c3297557c5b3947618159afeedab3c61c97de59bdb6a12da3a1c |
acl2_6.3.orig-books.tar.gz | 13.0 MiB | 29f9c5b1de6131695b01153f337bb107869e9ae0c1b506e46a3de9373bbd1bfa |
acl2_6.3.orig.tar.gz | 6.7 MiB | ee7ca85232c36068516e8852a5b31fcd8f38cb2596ce8d4d7934009e28400bb9 |
acl2_6.3-3.debian.tar.gz | 157.6 KiB | b96849ba80e483133872feaee5130d85ed8c35fb508ea603054e89ecc0ad74a4 |
No changes file available.