acl2 7.2dfsg-3 source package in Debian

Changelog

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

  * build-dep against latest gcl
  * upstream pathname patch

 -- Camm Maguire <email address hidden>  Sat, 15 Oct 2016 11:39:07 +0000

Upload details

Uploaded by:
Camm Maguire on 2016-10-18
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
Stretch release on 2016-10-24 main math

Builds

Downloads

File Size SHA-256 Checksum
acl2_7.2dfsg-3.dsc 2.2 KiB 5e2cc59b0c914477a1dd56227d94389b8007439d410d076007d6a0679a74583a
acl2_7.2dfsg.orig.tar.gz 61.4 MiB f54c3a3ee8583a121b23ea40ac18258d10e9c11e13795665c63c8cdca762655e
acl2_7.2dfsg-3.debian.tar.xz 199.4 KiB fd46faad548986062c43786c7a007fece566949f3a2f67eaafd2d909dc0a4920

No changes file available.

Binary packages built by this source