| package | filename | size | different function |
|---|---|---|---|
| cvc5 | ./usr/share/doc/cvc5/THANKS | 2.9 KB | |
| libcvc5-1 | ./usr/share/doc/libcvc5-1/THANKS | 2.9 KB | |
| libcvc5-dev | ./usr/share/doc/libcvc5-dev/THANKS | 2.9 KB | |
| libcvc5parser1 | ./usr/share/doc/libcvc5parser1/THANKS | 2.9 KB | |
| python3-cvc5 | ./usr/share/doc/python3-cvc5/THANKS | 2.9 KB |