HomeFreeBSD

Update to 0.5.4 release and enable CVC4 SMT Checker by default.

Description

Update to 0.5.4 release and enable CVC4 SMT Checker by default.

Details

Committed
aleFeb 14 2019, 8:06 AM
Parents
rP492904: - Update depends from databases/py-pg8000 --> databases/py-pg8000-112
Branches
Unknown
Tags
Unknown