Debian Package Tracker
Register | Log in
Subscribe

cvc4

automated theorem prover for SMT problems

Choose email to subscribe with

general
  • source: cvc4 (main)
  • version: 1.8-2
  • maintainer: Debian Science Maintainers (archive) (DMD)
  • uploaders: Fabian Wolff [DMD]
  • arch: any
  • std-ver: 4.5.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • oldstable: 1.6-2
  • stable: 1.8-2
  • testing: 1.8-2
  • unstable: 1.8-2
versioned links
  • 1.6-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1.8-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • cvc4
  • libcvc4-7
  • libcvc4-dev
  • libcvc4parser7
action needed
Problems while searching for a new upstream version high
uscan had problems while searching for a new upstream version:
In debian/watch no matching files for watch line
  https://github.com/CVC4/CVC4/tags .*/(\d[\d\.]*)\.tar\.gz
Created: 2022-03-25 Last update: 2022-05-16 14:03
Depends on packages which need a new maintainer normal
The packages that cvc4 depends on which need a new maintainer are:
  • libantlr3c (#688541)
    • Depends: libantlr3c-3.4-0 libantlr3c-antlrdbg-3.4-0
    • Build-Depends: libantlr3c-dev
Created: 2019-11-22 Last update: 2022-05-16 19:14
Does not build reproducibly during testing normal
A package building reproducibly enables third parties to verify that the source matches the distributed binaries. It has been identified that this source package produced different results, failed to build or had other issues in a test environment. Please read about how to improve the situation!
Created: 2018-09-11 Last update: 2022-05-16 14:05
Build log checks report 2 warnings low
Build log checks report 2 warnings
Created: 2020-09-18 Last update: 2020-09-18 10:31
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.1 instead of 4.5.0).
Created: 2020-11-17 Last update: 2022-05-11 23:25
news
[rss feed]
  • [2020-09-30] cvc4 1.8-2 MIGRATED to testing (Debian testing watch)
  • [2020-09-18] Accepted cvc4 1.8-2 (source) into unstable (Fabian Wolff) (signed by: Sergio Durigan Junior)
  • [2020-09-16] Accepted cvc4 1.8-1 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Sergio Durigan Junior)
  • [2018-08-16] cvc4 1.6-2 MIGRATED to testing (Debian testing watch)
  • [2018-08-13] Accepted cvc4 1.6-2 (source amd64) into unstable (Fabian Wolff) (signed by: Sergio Durigan Junior)
  • [2018-08-11] Accepted cvc4 1.6-1 (source amd64) into unstable, unstable (Fabian Wolff) (signed by: Sergio Durigan Junior)
  • [2017-11-04] cvc4 1.5-1 MIGRATED to testing (Debian testing watch)
  • [2017-10-29] Accepted cvc4 1.5-1 (source amd64) into unstable, unstable (Fabian Wolff) (signed by: Ralf Treinen)
bugs [bug history graph]
  • all: 2
  • RC: 0
  • I&N: 2
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian
  • buildd: logs, checks, clang, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 1.8-2

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