Gleb Popov e14de79936 math/z3: Enable testing

2026-02-21 11:06:07 +03:00

..

files

…

distinfo

math/z3: Update 4.15.8.0 => 4.16.0.0

2026-02-19 21:30:53 +04:00

Makefile

math/z3: Enable testing

2026-02-21 11:06:07 +03:00

pkg-descr

…

pkg-plist

math/z3: Update 4.15.8.0 => 4.16.0.0

2026-02-19 21:30:53 +04:00