Debian
acl2 package

acl2 6.4-4 source package in Debian

Changelog

acl2 (6.4-4) unstable; urgency=low


  * parse and use parallel keyword in DEB_BUILD_OPTIONS

 -- Camm Maguire <email address hidden>  Thu, 15 May 2014 18:49:32 +0000

Upload details

Uploaded by:
Camm Maguire
Uploaded to:
Sid
Original maintainer:
Camm Maguire
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Downloads

File Size SHA-256 Checksum
acl2_6.4-4.dsc 1.8 KiB 8382105a632d8234c27f111298a2d972519514eafefc6cb90554f69ace7cc47a
acl2_6.4.orig-books.tar.gz 13.5 MiB bc3170a698505a1465b7cd2d18bf0b03a89c25d23cd0196037ef80ff4e8474aa
acl2_6.4.orig.tar.gz 5.8 MiB 4c274c934a03fe24af29d284b5b230c3a477602d1272cfd95977c8765cf6c8b2
acl2_6.4-4.debian.tar.xz 123.8 KiB 67e8e4287faaafa2679de31e8b04a5284b06f7a65b988abee2ae89529314ed4f

Available diffs

No changes file available.

Binary packages built by this source