[MacPorts] #38631: boolector: update to 1.5.118

[MacPorts]

#38631: boolector: update to 1.5.118
-------------------------+--------------------------------
  Reporter:  ryandesign  |      Owner:  macports-tickets@…
      Type:  update      |     Status:  closed
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:
Resolution:  fixed       |   Keywords:
      Port:  boolector   |
-------------------------+--------------------------------
Changes (by ryandesign):

 * status:  assigned => closed
 * resolution:   => fixed


Comment:

 In [changeset:"0698ac75033eef17e501c667b2b385c7ec34f9ff/macports-ports"
 0698ac75033eef17e501c667b2b385c7ec34f9ff/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="0698ac75033eef17e501c667b2b385c7ec34f9ff"
 boolector: Update to 3.2.2

 Closes: https://trac.macports.org/ticket/38631
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/38631#comment:3>
MacPorts <https://www.macports.org/>
Ports system for macOS