The latest version of what4 is 1.6.2-0.

test:expr-builder-smtlib2

Dependencies

Reverse dependencies

None.