Publishing details

• Published on 2015-04-14

Changelog

berkeley-abc (1.01+20141105hg5b5af75+dfsg-2~ubuntu15.04.1~ppa1) vivid; urgency=medium

  * No-change backport to vivid

berkeley-abc (1.01+20141105hg5b5af75+dfsg-2) unstable; urgency=medium

  * debian/patches/04_memory_alignment_fix.patch:
    - Patch for memory alignment issue - already applied upstream
  * debian/patches/abc-bugfix-20150403.diff (Closes: #782027)
  * Patches from Johann Klammer (Thanks):
    - debian/patches/reproducibility.patch
      Patch for reproducibility (Closes: #780449)
    - debian/patches/writepla.patch
      Fixed "fails to export trivial .PLA files" (Closes: #780450)
 -- Micah Gersten <email address hidden>   Tue, 14 Apr 2015 17:13:42 -0500

Builds

• amd64
• armhf
• i386

Built packages

• berkeley-abc ABC - A System for Sequential Synthesis and Verification

Package files

• berkeley-abc_1.01+20141105hg5b5af75+dfsg-2~ubuntu15.04.1~ppa1.debian.tar.gz (8.5 KiB)
• berkeley-abc_1.01+20141105hg5b5af75+dfsg-2~ubuntu15.04.1~ppa1.dsc (2.2 KiB)
• berkeley-abc_1.01+20141105hg5b5af75+dfsg-2~ubuntu15.04.1~ppa1_amd64.deb (3.2 MiB)
• berkeley-abc_1.01+20141105hg5b5af75+dfsg-2~ubuntu15.04.1~ppa1_i386.deb (3.3 MiB)
• berkeley-abc_1.01+20141105hg5b5af75+dfsg.orig.tar.gz (4.4 MiB)