Debian
acl2 package

acl2 8.1dfsg-1 source package in Debian

Changelog

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

  * New upstream release
  * Applied dfsg changes from 7.1

 -- Camm Maguire <email address hidden>  Thu, 28 Feb 2019 17:58:59 +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-1.dsc 2.2 KiB 2bd375833a6400cc1c90e33bcfb5b6029efb1a176645a1f276bd9fdafc8057b7
acl2_8.1dfsg.orig.tar.gz 75.3 MiB 24ae60c24ca40ae7fc92db567e58fdb717a7f4d235fea51286a9301a7d91003d
acl2_8.1dfsg-1.debian.tar.xz 200.2 KiB 3e4c35fe01e007c572d382b47c5319ff18c5fb2c905c77002c40d76325ee4edd

No changes file available.

Binary packages built by this source