Publishing details

• Published on 2017-01-09

Changelog

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

  * For xenial

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

Builds

• amd64
• i386

Built packages

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

Package files

• berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1xenial.debian.tar.xz (7.4 KiB)
• berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1xenial.dsc (2.2 KiB)
• berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1xenial_amd64.deb (4.5 MiB)
• berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1xenial_i386.deb (4.7 MiB)
• berkeley-abc_1.01+20161002hgeb6eca6+dfsg.orig.tar.gz (4.8 MiB)