acl2 8.0dfsg-1 source package in Debian
Changelog
acl2 (8.0dfsg-1) unstable; urgency=medium * New upstream release * Applied dfsg changes from 7.1 * build-dep latest gcl -- Camm Maguire <email address hidden> Fri, 12 Jan 2018 14:04:36 +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 | |
|---|---|---|---|---|
| Buster | release | main | math |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| acl2_8.0dfsg-1.dsc | 2.2 KiB | a6066382f31e54b8f2b0799035547acab3e1f97c515d4ec529644ed5731c24c2 |
| acl2_8.0dfsg.orig.tar.gz | 74.0 MiB | e1ec509864d0ffc1235cf727ffac1ca0d8cd7f9ab4915cc71ceb4bdadfdcc145 |
| acl2_8.0dfsg-1.debian.tar.xz | 200.0 KiB | 9d041ee94da76dcc1dfdb0f3bfdf913d96beb410b6ac4a00f1f145fb44d39ea7 |
Available diffs
- diff from 7.4dfsg-3.1 to 8.0dfsg-1 (7.5 MiB)
- diff from 7.4dfsg-4 to 8.0dfsg-1 (7.5 MiB)
No changes file available.
