Ubuntu
acl2 package

acl2 8.0dfsg-1build1 source package in Ubuntu

Changelog

acl2 (8.0dfsg-1build1) disco; urgency=medium

  * No-change rebuild for readline soname change.

 -- Matthias Klose <email address hidden>  Tue, 15 Jan 2019 10:25:21 +0000

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Disco
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.0dfsg.orig.tar.gz 74.0 MiB e1ec509864d0ffc1235cf727ffac1ca0d8cd7f9ab4915cc71ceb4bdadfdcc145
acl2_8.0dfsg-1build1.debian.tar.xz 200.0 KiB 08b9faf3b4d477765fbca943e711f2ce61d31ebd8ee74eafbf8aaa179d7acf42
acl2_8.0dfsg-1build1.dsc 2.2 KiB 8dfa3685a17e64929fab11a7c5c729012a6236180fae8ac5ed7917b4ad089227

View changes file

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu eoan.

No description available for acl2 in ubuntu eoan.

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

No description available for acl2-books in ubuntu disco.

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

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

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

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

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

No description available for acl2-doc in ubuntu eoan.

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

No description available for acl2-emacs in ubuntu disco.

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

No description available for acl2-infix in ubuntu disco.

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

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

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

No description available for acl2-source in ubuntu disco.