[MacPorts] #38631: boolector: update to 1.5.118

MacPorts noreply at macports.org
Mon Apr 1 21:28:35 PDT 2013


#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


More information about the macports-tickets mailing list