Opened 11 years ago

Closed 2 years ago

#38631 closed update (fixed)

boolector: update to 1.5.118

Reported by: ryandesign (Ryan Carsten Schmidt) Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc:
Port: boolector

Description

boolector 1.5.118 is out; the port could be updated.

The livecheck should be fixed too.

$ port livecheck boolector
Error: cannot check if boolector was updated (regex didn't match)

Change History (3)

comment:1 Changed 7 years ago by kurthindenburg (Kurt Hindenburg)

Owner: changed from mww@… to macports-tickets@…
Status: newassigned

comment:2 Changed 2 years ago by ryandesign (Ryan Carsten Schmidt)

In 24a504afb316f5bf2e47d188d5c433b1913860a3/macports-ports (master):

btor2tools: New port, version 20210628

Needed by newer boolector.

See: #38631

comment:3 Changed 2 years ago by ryandesign (Ryan Carsten Schmidt)

Resolution: fixed
Status: assignedclosed

In 0698ac75033eef17e501c667b2b385c7ec34f9ff/macports-ports (master):

boolector: Update to 3.2.2

Closes: #38631

Note: See TracTickets for help on using tickets.