berkeley-abc_1.01+20161002hgeb6eca6+dfsg-1_amd64.deb


Advertisement

Description

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

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: berkeley-abc
Package version: 1.01+20161002hgeb6eca6+dfsg
Package release: 1
Package architecture: amd64
Package type: deb
Installed size: 12.50 KB
Download size: 4.44 MB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Source package: berkeley-abc

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install berkeley-abc deb package:
      # sudo apt-get install berkeley-abc

    Changelog

    2016-11-06 - Ruben Undheim <ruben.undheim@gmail.com> berkeley-abc (1.01+20161002hgeb6eca6+dfsg-1) unstable; urgency=medium * New upstream release * Refreshed patches * d/control: New Standards Version 3.9.8 - no needed changes

    2016-02-28 - Ruben Undheim <ruben.undheim@gmail.com> berkeley-abc (1.01+20160215hgae7d65e+dfsg-1) unstable; urgency=low * New upstream version - Refreshed patches * d/control: - Vcs URLs now using https. - Standards version 3.9.7 - no needed changes * d/copyright: Updated copyright year for Debian packaging

    2015-08-22 - Ruben Undheim <ruben.undheim@gmail.com> berkeley-abc (1.01+20150706hgc3698e0+dfsg-2) unstable; urgency=low * debian/man: - Added more sensible info in man page - Using txt2man to generate man page from .txt file

    2015-08-18 - Ruben Undheim <ruben.undheim@gmail.com> berkeley-abc (1.01+20150706hgc3698e0+dfsg-1) unstable; urgency=low * New upstream version

    2015-05-29 - Ruben Undheim <ruben.undheim@gmail.com> berkeley-abc (1.01+20150424hg779de2d+dfsg-1) unstable; urgency=low * New upstream release

    2015-04-13 - Ruben Undheim <ruben.undheim@gmail.com> berkeley-abc (1.01+20141105hg5b5af75+dfsg-3) unstable; urgency=medium * debian/patches/04_memory_alignment_fix.patch: - Fixed error in patch..

    2015-03-31 - Ruben Undheim <ruben.undheim@gmail.com> 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)

    2014-11-08 - Ruben Undheim <ruben.undheim@gmail.com> berkeley-abc (1.01+20141105hg5b5af75+dfsg-1) unstable; urgency=medium * New upstream version * Updated standards version to 3.9.6 * Added new copyright info for new files to d/copyright * Regenerated all patches * Enabled hardening=+all

    2014-09-05 - Ruben Undheim <ruben.undheim@gmail.com> berkeley-abc (1.01+20140822hg4d547a5+dfsg-1) unstable; urgency=low * Initial release (Closes: #761364)

    Advertisement
    Advertisement