[MacPorts] #38631: boolector: update to 1.5.118

[MacPorts]

#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