python3-cvc5

Version: 1.1.2-3

Architecture: amd64

Number of files: 12

Total size: 1.6 MB

package	files shared	data shared
cvc5 compare	5 (41%)	16.4 KB (1%)
libcvc5-dev compare	5 (41%)	16.4 KB (1%)
libcvc5parser1 compare	5 (41%)	16.4 KB (1%)
libcvc5-1 compare	5 (41%)	16.4 KB (1%)
terminator compare	1 (8%)	15 B (0%)
python3-falcon compare	1 (8%)	15 B (0%)
python3-setproctitle compare	1 (8%)	15 B (0%)
python3-overpass compare	1 (8%)	15 B (0%)
ofxstatement-plugins compare	1 (8%)	15 B (0%)
python3-rosdistro compare	1 (8%)	15 B (0%)
python3-quamash compare	1 (8%)	15 B (0%)
python3-certbot-nginx compare	1 (8%)	15 B (0%)
python3-cloudflare compare	1 (8%)	15 B (0%)
python3-flatlatex compare	1 (8%)	15 B (0%)
python3-pyasn compare	1 (8%)	15 B (0%)
python3-sqlite-fts4 compare	1 (8%)	15 B (0%)
python3-ament-clang-format compare	1 (8%)	15 B (0%)
python3-ament-clang-tidy compare	1 (8%)	15 B (0%)
python3-ament-cppcheck compare	1 (8%)	15 B (0%)
python3-ament-copyright compare	1 (8%)	15 B (0%)
python3-ament-cpplint compare	1 (8%)	15 B (0%)
python3-ament-flake8 compare	1 (8%)	15 B (0%)
python3-ament-lint-cmake compare	1 (8%)	15 B (0%)
python3-ament-lint compare	1 (8%)	15 B (0%)
python3-ament-mypy compare	1 (8%)	15 B (0%)
python3-ament-pycodestyle compare	1 (8%)	15 B (0%)
python3-ament-pep257 compare	1 (8%)	15 B (0%)
python3-ament-pyflakes compare	1 (8%)	15 B (0%)
python3-ament-uncrustify compare	1 (8%)	15 B (0%)
python3-ament-xmllint compare	1 (8%)	15 B (0%)
python3-ament-index compare	1 (8%)	15 B (0%)
python3-procset compare	1 (8%)	15 B (0%)
python3-usgs compare	1 (8%)	15 B (0%)
python3-qmix compare	1 (8%)	15 B (0%)
python3-pyaml-env compare	1 (8%)	15 B (0%)

Note: Packages with yellow background are required to be installed when this package is installed.