Debian
acl2 package

acl2 7.4dfsg-3 source package in Debian

Changelog

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

  * build-dep latest gcl
  * revert mxgot for mips64

 -- Camm Maguire <email address hidden>  Thu, 08 Jun 2017 22:34:51 +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_7.4dfsg-3.dsc 2.2 KiB 4431b41cbc467a9102cb8c3a90f12d09cc60047419d93d0deb2cfed32538e664
acl2_7.4dfsg.orig.tar.gz 62.2 MiB ed552f85afa580904a97fed43bb7d8bf3fe2dc15caadb4e308db0dfdc7bfe84b
acl2_7.4dfsg-3.debian.tar.xz 200.0 KiB 9c134e4c0eda3675c10a6f7fb00290cfb472f6369bf12efb1c977b08740c6151

No changes file available.

Binary packages built by this source