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] [DM]
  • arch: any
  • std-ver: 4.6.1
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 1.01+20161002hgeb6eca6+dfsg-1
  • oldstable: 1.01+20181130git163bba5+dfsg-1
  • stable: 1.01+20191006git52a8ebb+dfsg-1
  • testing: 1.01+20221019git70cb339+dfsg-4
  • unstable: 1.01+20221019git70cb339+dfsg-4
versioned links
  • 1.01+20161002hgeb6eca6+dfsg-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 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
action needed
A new upstream version is available: 0.0~git20230326.08d25f3 high
A new upstream version 0.0~git20230326.08d25f3 is available, you should consider packaging it.
Created: 2022-11-25 Last update: 2023-04-01 00:02
debian/patches: 3 patches with invalid metadata, 2 patches to forward upstream high

Among the 6 debian patches available in version 1.01+20221019git70cb339+dfsg-4 of the package, we noticed the following issues:

  • 3 patches with invalid metadata that ought to be fixed.
  • 2 patches where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.
Created: 2023-02-26 Last update: 2023-02-27 20:59
lintian reports 3 warnings normal
Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2023-02-10 Last update: 2023-02-10 20:01
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.6.1).
Created: 2022-05-11 Last update: 2023-02-07 13:52
news
[rss feed]
  • [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)
  • [2015-09-02] berkeley-abc 1.01+20150706hgc3698e0+dfsg-2 MIGRATED to testing (Britney)
  • [2015-08-22] Accepted berkeley-abc 1.01+20150706hgc3698e0+dfsg-2 (source amd64) into unstable (Ruben Undheim)
  • [2015-08-18] Accepted berkeley-abc 1.01+20150706hgc3698e0+dfsg-1 (source amd64) into unstable (Ruben Undheim)
  • [2015-06-09] berkeley-abc 1.01+20150424hg779de2d+dfsg-1 MIGRATED to testing (Britney)
  • [2015-05-29] Accepted berkeley-abc 1.01+20150424hg779de2d+dfsg-1 (source amd64) into unstable (Ruben Undheim)
  • [2015-05-27] Accepted berkeley-abc 1.01+20140822hg4d547a5+dfsg-1+deb8u1 (source amd64) into proposed-updates->stable-new, proposed-updates (Ruben Undheim)
  • 1
  • 2
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian (0, 3)
  • buildd: logs, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 1.01+20221019git70cb339+dfsg-4

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