Debian
acl2 package

acl2 8.1dfsg-4 source package in Debian

Changelog

acl2 (8.1dfsg-4) unstable; urgency=medium

  * source-only upload
  * Bug fix: "Build-Depends on emacs25 which has been removed from
    unstable/bullseye", thanks to Paul Gevers (Closes: #941641).

 -- Camm Maguire <email address hidden>  Thu, 31 Oct 2019 17:17:49 +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 Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
acl2_8.1dfsg-4.dsc 2.2 KiB b189350548fab88aa8a2cf0318b76d60d626a1fbc65e38e0613b2202fc55332f
acl2_8.1dfsg.orig.tar.gz 75.3 MiB 24ae60c24ca40ae7fc92db567e58fdb717a7f4d235fea51286a9301a7d91003d
acl2_8.1dfsg-4.debian.tar.xz 200.5 KiB 63d8c700489c76347aa855f07d0f59db209dfb7d1604c4f95c3222e063793adf

No changes file available.

Binary packages built by this source