| package | filename | size | different function |
|---|---|---|---|
| cvc5 | ./usr/share/doc/cvc5/changelog.Debian.gz | 942 B | |
| libcvc5-1 | ./usr/share/doc/libcvc5-1/changelog.Debian.gz | 942 B | |
| libcvc5-dev | ./usr/share/doc/libcvc5-dev/changelog.Debian.gz | 942 B | |
| libcvc5parser1 | ./usr/share/doc/libcvc5parser1/changelog.Debian.gz | 942 B | |
| python3-cvc5 | ./usr/share/doc/python3-cvc5/changelog.Debian.gz | 942 B |