#38631: boolector: update to 1.5.118 --------------------------+----------------------- Reporter: ryandesign@… | Owner: mww@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: Keywords: | Port: boolector --------------------------+----------------------- 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) }}} -- Ticket URL: <https://trac.macports.org/ticket/38631> MacPorts <http://www.macports.org/> Ports system for OS X