Diffusion FreeBSD ports repository 21ee67276d70

math/btor2tools: update g20320816 → 1.0.3; fix configure with CMake 4
21ee67276d70
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/btor2tools: update g20320816 → 1.0.3; fix configure with CMake 4

PR: 297911 (CMake 4)

Details

Provenance

yuri	Authored on Mon, Sep 28, 6:21 AM

Parents

R11:dcf5a3876587: devel/aixlog: fix configure with CMake 4

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:21ee67276d70: math/btor2tools: update g20320816 → 1.0.3; fix configure with CMake 4 (authored by yuri).Mon, Sep 28, 6:45 AM

Changes (4)

Path

Size

math/

btor2tools/

files/

patch-configure.sh

patch-test_runtests.sh

R11:21ee67276d70

math/btor2tools/Makefile

Loading...

math/btor2tools/distinfo

Loading...

math/btor2tools/files/patch-configure.sh

Loading...

math/btor2tools/files/patch-test_runtests.sh

Loading...