| cvc5 in sid |
| Source: | cvc5 | piuparts summary: |  | Version: | 1.1.2-2 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> |
| Uploaders: | Scott Talbert <swt@techie.net> |
| Binary: | cvc5 | piuparts-result: | successfully-tested 1.1.2-2+b3 | Version: | 1.1.2-2+b3 |
| Binary: | libcvc5-1 | piuparts-result: | successfully-tested 1.1.2-2+b3 | Version: | 1.1.2-2+b3 |
| Binary: | libcvc5-dev | piuparts-result: | successfully-tested 1.1.2-2+b3 | Version: | 1.1.2-2+b3 |
| Binary: | libcvc5parser1 | piuparts-result: | successfully-tested 1.1.2-2+b3 | Version: | 1.1.2-2+b3 |
| Binary: | python3-cvc5 | piuparts-result: | successfully-tested 1.1.2-2+b3 | Version: | 1.1.2-2+b3 |
Quality Assurance
