Diffusion FreeBSD ports repository f52ed517f2ef

math/z3: Update to 4.12.1
f52ed517f2ef
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/z3: Update to 4.12.1

Details

Provenance

Authored on Feb 12 2023, 1:09 PM

Parents

R11:3fb91363d0e1: www/py-dj40-django-auth-ldap: Switch to PEP517

Branches

Unknown

Tags

Unknown

Event Timeline

arrowd committed R11:f52ed517f2ef: math/z3: Update to 4.12.1 (authored by arrowd).Feb 12 2023, 1:09 PM

arrowd mentioned this in R11:5670e678a75a: math/z3: Restore accidentally removed DEBUG option..Feb 12 2023, 3:03 PM

Changes (3)

Path

Size

math/

z3/

files/

patch-src_util_memory__manager.cpp

R11:f52ed517f2ef

math/z3/Makefile

Loading...

math/z3/distinfo

Loading...

math/z3/files/patch-src_util_memory__manager.cpp

Loading...