general
- source
- cvc5 (optional, misc)
- version
- 1.0.3-1
- maint
- Debian Science Maintainers, Scott Talbert (u)
- std-ver
- 4.6.1
- VCS
- Git (browse)
binaries
-
cvc5
( bugs:
,
,
,
)
-
libcvc5-1
( bugs:
,
,
,
)
-
libcvc5-dev
( bugs:
,
,
,
)
-
libcvc5parser1
( bugs:
,
,
,
)
todo
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.2 instead of 4.6.1).
news RSS
- [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)
