Diffusion FreeBSD ports repository 23b2759af230

math/py-z3-solver: Re-enable on i386; Broken on riscv64
23b2759af230
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/py-z3-solver: Re-enable on i386; Broken on riscv64

Details

Provenance

yuri	Authored on Jul 21 2022, 7:47 PM

Parents

R11:108757c7bf3e: math/py-pytanque: Broken on riscv64

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:23b2759af230: math/py-z3-solver: Re-enable on i386; Broken on riscv64 (authored by yuri).Jul 21 2022, 7:47 PM

yuri mentioned this in R11:6062256f611b: math/py-z3-solver: Re-enable on i386; Broken on riscv64.

Changes (1)

Path

Size

math/

py-z3-solver/

R11:23b2759af230

math/py-z3-solver/Makefile

Loading...