acl2 8.3dfsg-1 source package in Ubuntu
Changelog
acl2 (8.3dfsg-1) unstable; urgency=medium * New upstream release -- Camm Maguire <email address hidden> Sat, 22 Aug 2020 14:29:22 +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 |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
acl2_8.3dfsg-1.dsc | 2.2 KiB | 7d2b813405e4255865167ffa422d97760eee3926ffe9ffcabd4f7ce51727fa8b |
acl2_8.3dfsg.orig.tar.gz | 111.8 MiB | e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee |
acl2_8.3dfsg-1.debian.tar.xz | 201.2 KiB | ac7a3f7547564d050a79fe8feac7751caa943a698f55019f9374d79d89bea9eb |
Available diffs
No changes file available.
Binary packages built by this source
- acl2: No summary available for acl2 in ubuntu groovy.
No description available for acl2 in ubuntu groovy.
- acl2-books: No summary available for acl2-books in ubuntu hirsute.
No description available for acl2-books in ubuntu hirsute.
- acl2-books-certs: No summary available for acl2-books-certs in ubuntu groovy.
No description available for acl2-books-certs in ubuntu groovy.
- acl2-books-source: No summary available for acl2-books-source in ubuntu groovy.
No description available for acl2-books-source in ubuntu groovy.
- acl2-doc: No summary available for acl2-doc in ubuntu groovy.
No description available for acl2-doc in ubuntu groovy.
- acl2-emacs: No summary available for acl2-emacs in ubuntu groovy.
No description available for acl2-emacs in ubuntu groovy.
- acl2-infix: No summary available for acl2-infix in ubuntu groovy.
No description available for acl2-infix in ubuntu groovy.
- acl2-infix-source: No summary available for acl2-infix-source in ubuntu groovy.
No description available for acl2-infix-source in ubuntu groovy.
- acl2-source: No summary available for acl2-source in ubuntu hirsute.
No description available for acl2-source in ubuntu hirsute.