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

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/berkeley-abc

general

source
berkeley-abc (optional, misc)
version
1.01+20221019git70cb339+dfsg-4
distro
stable
maint
Debian Science Maintainers (a), Ruben Undheim (u), Daniel Gröber (u)
std-ver
4.6.1
VCS
Git (browse)

binaries

todo

  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.1).

problems

  • This package is neither part of unstable nor experimental. This probably means that the package has been removed (or has been renamed). Thus the information here is of little interest ... the package is going to disappear unless someone takes it over and reintroduces it into unstable.

testing migration

excuses:
  • Migration status for berkeley-abc (1.01+20221019git70cb339+dfsg-2 to 1.01+20221019git70cb339+dfsg-3): Waiting for test results or another package, or too young (no action required now - check later)
  • Issues preventing migration:
  • Too young, only 0 of 5 days old

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0