Ubuntu
berkeley-abc package

berkeley-abc source package in Focal

berkeley-abc: ABC - A System for Sequential Synthesis and Verification
berkeley-abc-dbgsym: No summary available for berkeley-abc-dbgsym in ubuntu disco.

Versions published

Release

The package versions that were published when the distribution release was made.

berkeley-abc information

Current version:
1.01+20191006git52a8ebb+dfsg-1build1
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?


Binary packages

Download files from current release (1.01+20191006git52a8ebb+dfsg-1build1)

File Size SHA-256 Checksum
berkeley-abc_1.01+20191006git52a8ebb+dfsg.orig.tar.xz 3.5 MiB f0a2ab844c951b0e2f562d54203dbee0c5afe6102de858d76dc7f892d9f09bd3
berkeley-abc_1.01+20191006git52a8ebb+dfsg-1build1.debian.tar.xz 14.8 KiB 66797bb68d884c8d4ec3704844bfdf7b3ef64e0e071d21ed1f0a2bdd10bc941c
berkeley-abc_1.01+20191006git52a8ebb+dfsg-1build1.dsc 2.2 KiB 7c725cb8d4739bf52f764620cffe2ed189b056e7a442313711c20d2bc994d819

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies