Bug#769445: RFS: berkeley-abc/1.01+20141105hg5b5af75+dfsg-1

[Ruben Undheim <ruben.undheim@gmail.com>]

Package: sponsorship-requests
Severity: normal

  Dear mentors,

  I am looking for a sponsor for my package "berkeley-abc"

 * Package name    : berkeley-abc
   Version         : 1.01+20141105hg5b5af75+dfsg-1
   Upstream Author : Berkeley Logic Synthesis and Verification Group
 * URL             : http://www.eecs.berkeley.edu/~alanmi/abc/
 * License         : Berkeley (MIT-similar license)
   Section         : electronics

  It builds those binary packages:

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

  The packaging can be checked out with git from here:

     git://anonscm.debian.org/debian-science/packages/berkeley-abc.git



  Changes since the last upload:

  New upstream version


  Regards,
   Ruben Undheim