Diffusion FreeBSD ports repository 5670e678a75a

math/z3: Restore accidentally removed DEBUG option.
5670e678a75a
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/z3: Restore accidentally removed DEBUG option.

Fixes: f52ed517f2ef24237c31e657f442dd1ec4038bf2

Details

Provenance

Authored on Feb 12 2023, 3:01 PM

Parents

R11:391567023876: mail/phplist: Update to 3.6.12

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:5670e678a75a: math/z3: Restore accidentally removed DEBUG option. (authored by arrowd).Feb 12 2023, 3:02 PM

Changes (1)

Path

Size

math/

z3/

R11:5670e678a75a

math/z3/Makefile

Loading...