Diffusion FreeBSD ports repository 9e836ff24463

math/boolector: Add and correct dependencies
9e836ff24463
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/boolector: Add and correct dependencies

Details

Provenance

yuri	Authored on Jan 4 2023, 7:36 AM

Parents

R11:23e9c273cdbd: math/cadical: Update 1.0.3 -> 1.5.3

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:9e836ff24463: math/boolector: Add and correct dependencies (authored by yuri).Jan 4 2023, 10:51 AM

Changes (1)

Path

Size

math/

boolector/

R11:9e836ff24463

math/boolector/Makefile

Loading...