FreeBSD/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2026-06-02 11:08:52 +00:00
Code Issues Projects Releases Wiki Activity
Files
main
ports/math/z3
T
History
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