general
- source
- cvc4 (extra, misc)
- version
- 1.8-3
- maint
- Debian Science Maintainers, Fabian Wolff (u)
- std-ver
- 4.5.0
- VCS
- Git (browse)
binaries
-
cvc4
(0 bugs:
0,
0,
0,
0)
automated theorem prover for SMT problems -
libcvc4-7
(0 bugs:
0,
0,
0,
0)
automated theorem prover for SMT problems (runtime) -
libcvc4-dev
(0 bugs:
0,
0,
0,
0)
automated theorem prover for SMT problems (development files) -
libcvc4parser7
(0 bugs:
0,
0,
0,
0)
automated theorem prover for SMT problems (parser runtime)
todo
- Lintian reports 2 errors and 1 warning about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 2 warnings about this package.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.5.0).
- This package has "Build-Depends: libantlr3c-dev" while libantlr3c needs a new maintainer, see O #688541.
problems
- The package has a debian/watch file, but the last attempt
to use it for checking for newer upstream versions failed with
an error:
In debian/watch no matching files for watch line https://github.com/CVC4/CVC4/tags .*/(\d[\d\.]*)\.tar\.gz
news RSS
- [2022-11-01] cvc4 1.8-3 MIGRATED to testing (Britney)
- [2022-10-29] Accepted 1.8-3 in unstable (medium) (Debian FTP Masters)
- [2020-09-30] cvc4 1.8-2 MIGRATED to testing (Britney)
- [2020-09-18] Accepted 1.8-2 in unstable (medium) (Debian FTP Masters)
- [2020-09-16] Accepted 1.8-1 in unstable (medium) (Debian FTP Masters)
- [2018-08-16] cvc4 1.6-2 MIGRATED to testing (Britney)
- [2018-08-13] Accepted 1.6-2 in unstable (medium) (Fabian Wolff)
- [2018-08-11] Accepted 1.6-1 in unstable (medium) (Fabian Wolff)
- [2017-11-04] cvc4 1.5-1 MIGRATED to testing (Britney)
- [2017-10-29] Accepted 1.5-1 in unstable (medium) (Fabian Wolff)
