13.03.2025 02:32, Kirill A. Korinsky пишет: > I'd like to update math/z3 to 4.14.1 > > Tested on -current/amd64
OK kn
- math/z3: update to 4.14.1 from maintainer Kirill A . Korinsky
- Re: math/z3: update to 4.14.1 from maintainer Kirill A . Korinsky
- Re: math/z3: update to 4.14.1 from maintainer Klemens Nanni
