Debian
acl2 package

acl2 8.3dfsg-3 source package in Debian

Changelog

acl2 (8.3dfsg-3) unstable; urgency=medium

  * clean build-depends
  * lintian cleanups
  * acl2-emacs -> elpa-acl2

 -- Camm Maguire <email address hidden>  Wed, 03 Feb 2021 18:36:07 +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.3dfsg-3.dsc 2.2 KiB 3af59cbcd4f391df14e218e5598d37c652a4dcf498570e21a8a27df0b0f289bd
acl2_8.3dfsg.orig.tar.gz 111.8 MiB e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee
acl2_8.3dfsg-3.debian.tar.xz 256.5 KiB 32628de41b9bc24ca61e2b75534606286e332515a3526bfd73b0cd568aa57c61

No changes file available.

Binary packages built by this source