general
- source
- cvc5 (optional, misc)
- version
- 1.1.2-2
- 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 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.6.2).
testing migration
- This package will soon be part of the python3.12-default transition. You might want to ensure that your package is ready for it. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
news RSS
- [2024-04-24] cvc5 1.1.2-2 MIGRATED to testing (Britney)
- [2024-03-19] Accepted 1.1.2-2 in unstable (medium) (Debian FTP Masters)
- [2024-03-03] Accepted 1.1.2-1 in unstable (medium) (Debian FTP Masters)
- [2024-02-14] cvc5 1.1.1-1 MIGRATED to testing (Britney)
- [2024-02-12] Accepted 1.1.1-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] cvc5 1.0.8-1 MIGRATED to testing (Britney)
- [2024-01-21] Accepted 1.0.8-1 in unstable (medium) (Debian FTP Masters)
- [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)
