| package | filename | size | different function |
|---|---|---|---|
| cvc5 | ./usr/share/doc/cvc5/NEWS.md.gz | 7.3 KB | |
| libcvc5-dev | ./usr/share/doc/libcvc5-dev/NEWS.md.gz | 7.3 KB | |
| libcvc5parser1 | ./usr/share/doc/libcvc5parser1/NEWS.md.gz | 7.3 KB | |
| python3-cvc5 | ./usr/share/doc/python3-cvc5/NEWS.md.gz | 7.3 KB | |
| libcvc5-1 | ./usr/share/doc/libcvc5-1/NEWS.md.gz | 7.3 KB |