Ubuntu
acl2 package

acl2 2.8-4 source package in Ubuntu

Changelog

acl2 (2.8-4) unstable; urgency=low


  * Bug fix: "FTBFS: missing Build-Depends binutils-dev", thanks to Goswin
    von Brederlow (Closes: #251695).  Make build-depends on binutils-dev
    valid for all platforms

 -- Camm Maguire <email address hidden>  Mon, 31 May 2004 18:32:56 +0000

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Warty
Original maintainer:
Camm Maguire
Architectures:
any
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Warty: [FULLYBUILT] amd64 [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
acl2_2.8-4.dsc 795 bytes c47ad139dbb2ff4bc3bfc7988e4b52ae572e39c458492708201e271673fe3899
acl2_2.8.orig.tar.gz 4.9 MiB 80e5486f300833893f0c04e7c362e112978c250f8238708f862fa7a37ff95ae4
acl2_2.8-4.diff.gz 12.0 KiB ad58f9a2367b621cc3394499b087572060b6ea51d617e874ab1460c45435132d

No changes file available.

Binary packages built by this source

acl2: No summary available for acl2 in ubuntu warty.

No description available for acl2 in ubuntu warty.

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

No description available for acl2-books in ubuntu warty.

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

No description available for acl2-infix in ubuntu warty.