Publishing details

• Published on 2017-01-09

Changelog

berkeley-abc (1.01+20161002hgeb6eca6+dfsg-1yakkety) yakkety; urgency=medium

  * For yakkety

 -- Ruben Undheim <email address hidden>  Mon, 09 Jan 2017 22:44:36 +0100

Builds

• amd64
• i386

Built packages

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

Package files

• berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1yakkety.debian.tar.xz (7.5 KiB)
• berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1yakkety.dsc (2.2 KiB)
• berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1yakkety_amd64.deb (4.4 MiB)
• berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1yakkety_i386.deb (4.7 MiB)
• berkeley-abc_1.01+20161002hgeb6eca6+dfsg.orig.tar.gz (4.8 MiB)