| cvc4 in oldstable22testing |
| Source: | cvc4 | piuparts summary: |  | Version: | 1.8-3 |
| 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.8-3+b3 | Version: | 1.8-3+b3 [cruft] |
| Binary: | libcvc4-7 | piuparts-result: | successfully-tested 1.8-3+b3 | Version: | 1.8-3+b3 [cruft] |
| Binary: | libcvc4-dev | piuparts-result: | successfully-tested 1.8-3+b3 | Version: | 1.8-3+b3 [cruft] |
| Binary: | libcvc4parser7 | piuparts-result: | successfully-tested 1.8-3+b3 | Version: | 1.8-3+b3 [cruft] |
Quality Assurance
