general
- source
- cvc5 (optional, misc)
- version
- 1.0.5-3
- maint
- Debian Science Maintainers, Scott Talbert (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
todo
- Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
- Build log checks report 1 warning about this package.
- A new upstream version is available: 1.0.8, you should consider packaging it.
- This package has "Build-Depends: libantlr3c-dev" while libantlr3c needs a new maintainer, see O #688541.
news RSS
- [2023-06-26] cvc5 1.0.5-3 MIGRATED to testing (Britney)
- [2023-06-23] Accepted 1.0.5-3 in unstable (medium) (Debian FTP Masters)
- [2023-06-23] Accepted 1.0.5-2 in unstable (medium) (Debian FTP Masters)
- [2023-06-23] cvc5 1.0.5-1 MIGRATED to testing (Britney)
- [2023-06-20] Accepted 1.0.5-1 in unstable (medium) (Debian FTP Masters)
- [2022-12-23] cvc5 1.0.3-1 MIGRATED to testing (Britney)
- [2022-12-20] Accepted 1.0.3-1 in unstable (medium) (Debian FTP Masters)
- [2022-12-19] Accepted 1.0.2-2 in unstable (medium) (Debian FTP Masters)
- [2022-12-10] Accepted 1.0.2-1 in unstable (medium) (Debian FTP Masters)
