Debian Patches

Status for cvc5/1.3.2-1

Patch Description Author Forwarded Bugs Origin Last update
skip-himem-tests.patch no
no-pythonic-api.patch no
debian-python-install.patch no
typos.patch no

All known versions for source package 'cvc5'

Links