Debian Package Tracker
Register | Log in
Subscribe

berkeley-abc

ABC - A System for Sequential Synthesis and Verification

Choose email to subscribe with

general
  • source: berkeley-abc (main)
  • version: 1.01+20221019git70cb339+dfsg-4
  • maintainer: Debian Science Maintainers (archive) (DMD)
  • uploaders: Ruben Undheim [DMD] – Daniel Gröber [DMD]
  • arch: any
  • std-ver: 4.6.1
  • VCS: Git (Browse)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 1.01+20181130git163bba5+dfsg-1
  • oldstable: 1.01+20191006git52a8ebb+dfsg-1
  • stable: 1.01+20221019git70cb339+dfsg-4
versioned links
  • 1.01+20181130git163bba5+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.01+20191006git52a8ebb+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.01+20221019git70cb339+dfsg-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • berkeley-abc
package is gone
This package is not in any development repository. 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.
news
[rss feed]
  • [2024-04-17] berkeley-abc REMOVED from testing (Debian testing watch)
  • [2023-07-02] berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 MIGRATED to testing (Debian testing watch)
  • [2023-06-29] Accepted berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 (source) into unstable (Daniel Gröber)
  • [2023-06-29] Accepted berkeley-abc 1.01+20230625git01b1bd1+dfsg-1 (source) into unstable (Daniel Gröber)
  • [2023-06-19] berkeley-abc 1.01+20230520gita5a6254+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2023-06-13] Accepted berkeley-abc 1.01+20230520gita5a6254+dfsg-1 (source) into unstable (Daniel Gröber)
  • [2023-02-09] berkeley-abc 1.01+20221019git70cb339+dfsg-4 MIGRATED to testing (Debian testing watch)
  • [2023-02-07] Accepted berkeley-abc 1.01+20221019git70cb339+dfsg-4 (source) into unstable (Daniel Gröber)
  • [2022-12-09] berkeley-abc 1.01+20221019git70cb339+dfsg-3 MIGRATED to testing (Debian testing watch)
  • [2022-12-03] Accepted berkeley-abc 1.01+20221019git70cb339+dfsg-3 (source) into unstable (Daniel Gröber)
  • [2022-11-22] berkeley-abc 1.01+20221019git70cb339+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2022-11-16] Accepted berkeley-abc 1.01+20221019git70cb339+dfsg-2 (source) into unstable (Daniel Gröber)
  • [2022-11-13] Accepted berkeley-abc 1.01+20221019git70cb339+dfsg-1 (source amd64) into unstable (Daniel Gröber)
  • [2022-07-06] berkeley-abc 1.01+20220610git8eb651c+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2022-07-01] Accepted berkeley-abc 1.01+20220610git8eb651c+dfsg-1 (source amd64) into unstable (Daniel Gröber) (signed by: Steffen Moeller)
  • [2022-04-01] berkeley-abc 1.01+20220306gitee22833+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2022-03-27] Accepted berkeley-abc 1.01+20220306gitee22833+dfsg-1 (source) into unstable (Daniel Gröber) (signed by: Steffen Moeller)
  • [2022-02-03] berkeley-abc 1.01+20211229git48498af+dfsg-2 MIGRATED to testing (Debian testing watch)
  • [2022-01-29] Accepted berkeley-abc 1.01+20211229git48498af+dfsg-2 (source) into unstable (Daniel Gröber) (signed by: Steffen Moeller)
  • [2022-01-15] Accepted berkeley-abc 1.01+20211229git48498af+dfsg-1 (source) into unstable (Daniel Gröber) (signed by: Steffen Moeller)
  • [2019-10-22] berkeley-abc 1.01+20191006git52a8ebb+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2019-10-20] Accepted berkeley-abc 1.01+20191006git52a8ebb+dfsg-1 (source) into unstable (Ruben Undheim)
  • [2018-12-07] berkeley-abc 1.01+20181130git163bba5+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2018-12-03] Accepted berkeley-abc 1.01+20181130git163bba5+dfsg-1 (source) into unstable (Ruben Undheim)
  • [2018-08-08] berkeley-abc 1.01+20180801git3fb3c6b+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2018-08-05] Accepted berkeley-abc 1.01+20180801git3fb3c6b+dfsg-1 (source) into unstable (Ruben Undheim)
  • [2016-11-12] berkeley-abc 1.01+20161002hgeb6eca6+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2016-11-06] Accepted berkeley-abc 1.01+20161002hgeb6eca6+dfsg-1 (source) into unstable (Ruben Undheim)
  • [2016-03-10] berkeley-abc 1.01+20160215hgae7d65e+dfsg-1 MIGRATED to testing (Debian testing watch)
  • [2016-02-28] Accepted berkeley-abc 1.01+20160215hgae7d65e+dfsg-1 (source) into unstable (Ruben Undheim)
  • 1
  • 2
bugs [bug history graph]
  • all: 0
links
  • homepage
  • buildd: logs, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debci

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing