Diffusion FreeBSD ports repository baa1a612167c

math/boolector: Fix build
baa1a612167c
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/boolector: Fix build

Details

Provenance

yuri	Authored on Jun 9 2024, 7:10 AM

Parents

R11:7a3a071cb1ed: mail/postfix-current: Update to 20240603 and enable service jail

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:baa1a612167c: math/boolector: Fix build (authored by yuri).Jun 9 2024, 7:22 AM

Changes (1)

Path

Size

math/

boolector/

R11:baa1a612167c

math/boolector/Makefile

Loading...