Diffusion FreeBSD ports repository 5c1f797943b0

math/py-z3-solver: update 4.8.17 → 4.13.2
5c1f797943b0
Actions

Description

math/py-z3-solver: update 4.8.17 → 4.13.2

This fixes the problem from bug#280689.

Details

Provenance

yuri	Authored on Oct 8 2024, 12:10 AM

Parents

R11:2dcc36f665e4: x11-fm/deforaos-browser: Avoid conflicts, pet linters

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:5c1f797943b0: math/py-z3-solver: update 4.8.17 → 4.13.2 (authored by yuri).Oct 8 2024, 3:44 AM

Changes (10)

Path

Size

math/

py-z3-solver/

Makefile

distinfo

files/

example-dog-cat-mouse.py

example-eight-queens.py

example-kinematics.py

example-power-of-two.py

R11:5c1f797943b0

View Options

math/py-z3-solver/Makefile

View Options

math/py-z3-solver/distinfo

View Options

math/py-z3-solver/files/example-dog-cat-mouse.py

View Options

math/py-z3-solver/files/example-eight-queens.py

View Options

math/py-z3-solver/files/example-kinematics.py

View Options

math/py-z3-solver/files/example-power-of-two.py

View Options

math/py-z3-solver/files/example-sudoku.py

View Options

math/py-z3-solver/files/patch-CMakeLists.txt

View Options

math/py-z3-solver/files/patch-setup.py

View Options

math/py-z3-solver/pkg-plist

math/py-z3-solver: update 4.8.17 → 4.13.25c1f797943b0Actions

Description

Details

Event Timeline

Changes (10)

R11:5c1f797943b0

math/py-z3-solver/Makefile

math/py-z3-solver/distinfo

math/py-z3-solver/files/example-dog-cat-mouse.py

math/py-z3-solver/files/example-eight-queens.py

math/py-z3-solver/files/example-kinematics.py

math/py-z3-solver/files/example-power-of-two.py

math/py-z3-solver/files/example-sudoku.py

math/py-z3-solver/files/patch-CMakeLists.txt

math/py-z3-solver/files/patch-setup.py

math/py-z3-solver/pkg-plist

math/py-z3-solver: update 4.8.17 → 4.13.2
5c1f797943b0
Actions