[BuildTools-tickets] [BuildTools] #85: error while installing Bonmin 1.4.1

[BuildTools]

#85: error while installing Bonmin 1.4.1
-------------------------+--------------------------------------------------
Reporter:  louischarles  |        Owner:  stefan      
    Type:  defect        |       Status:  closed      
Priority:  major         |    Component:  build system
 Version:  0.5           |   Resolution:  invalid     
Keywords:  installation  |  
-------------------------+--------------------------------------------------
Changes (by stefan):

  * status:  new => closed
  * resolution:  => invalid


Comment:

 Did not receive attachments, so close ticket.

-- 
Ticket URL: <https://projects.coin-or.org/BuildTools/ticket/85#comment:2>
BuildTools <http://projects.coin-or.org/BuildTools>
Tools for configuring and compiling COIN-OR codes