Ubuntu
acl2 package

acl2 8.3dfsg-1 source package in Ubuntu

Changelog

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

  * New upstream release

 -- Camm Maguire <email address hidden>  Sat, 22 Aug 2020 14:29:22 +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

Downloads

File Size SHA-256 Checksum
acl2_8.3dfsg-1.dsc 2.2 KiB 7d2b813405e4255865167ffa422d97760eee3926ffe9ffcabd4f7ce51727fa8b
acl2_8.3dfsg.orig.tar.gz 111.8 MiB e7322a6e842f862ae25a65cda43040828fe0ded725f4c45bcb04ae07ae492aee
acl2_8.3dfsg-1.debian.tar.xz 201.2 KiB ac7a3f7547564d050a79fe8feac7751caa943a698f55019f9374d79d89bea9eb

No changes file available.

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu groovy.

No description available for acl2 in ubuntu groovy.

acl2-books: No summary available for acl2-books in ubuntu hirsute.

No description available for acl2-books in ubuntu hirsute.

acl2-books-certs: No summary available for acl2-books-certs in ubuntu groovy.

No description available for acl2-books-certs in ubuntu groovy.

acl2-books-source: No summary available for acl2-books-source in ubuntu groovy.

No description available for acl2-books-source in ubuntu groovy.

acl2-doc: No summary available for acl2-doc in ubuntu groovy.

No description available for acl2-doc in ubuntu groovy.

acl2-emacs: No summary available for acl2-emacs in ubuntu groovy.

No description available for acl2-emacs in ubuntu groovy.

acl2-infix: No summary available for acl2-infix in ubuntu groovy.

No description available for acl2-infix in ubuntu groovy.

acl2-infix-source: No summary available for acl2-infix-source in ubuntu groovy.

No description available for acl2-infix-source in ubuntu groovy.

acl2-source: No summary available for acl2-source in ubuntu hirsute.

No description available for acl2-source in ubuntu hirsute.