| cvc4 in buster |
| Source: | cvc4 | piuparts summary: |  | Version: | 1.6-2 |
| Maintainer: | Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> |
| Uploaders: | Fabian Wolff <fabi.wolff@arcor.de> |
| Binary: | cvc4 | piuparts-result: | successfully-tested 1.6-2+b1 | Version: | 1.6-2+b1 |
| Binary: | libcvc4-5 | piuparts-result: | successfully-tested 1.6-2+b1 | Version: | 1.6-2+b1 |
| Binary: | libcvc4-dev | piuparts-result: | successfully-tested 1.6-2+b1 | Version: | 1.6-2+b1 |
| Binary: | libcvc4parser5 | piuparts-result: | successfully-tested 1.6-2+b1 | Version: | 1.6-2+b1 |
Quality Assurance
