Diffusion FreeBSD ports repository 359167a29872

math/cvc5: Fix tests
359167a29872
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/cvc5: Fix tests

Details

Provenance

yuri	Authored on Mar 27 2023, 3:02 PM

Parents

R11:b6acc0141788: devel/py-pyTooling: Update 3.0.0 → 4.0.1

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:359167a29872: math/cvc5: Fix tests (authored by yuri).Mar 27 2023, 6:25 PM

Changes (1)

Path

Size

math/

cvc5/

R11:359167a29872

math/cvc5/Makefile

Loading...