[MacPorts] #38631: boolector: update to 1.5.118

[MacPorts]

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

Comment (by ryandesign):

 In [changeset:"24a504afb316f5bf2e47d188d5c433b1913860a3/macports-ports"
 24a504afb316f5bf2e47d188d5c433b1913860a3/macports-ports] (master):
 {{{
 #!ConfigurableCommitTicketReference repository="macports-ports"
 revision="24a504afb316f5bf2e47d188d5c433b1913860a3"
 btor2tools: New port, version 20210628

 Needed by newer boolector.

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

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