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