Opened 13 years ago

Closed 13 years ago

#29091 closed update (fixed)

ppl: update to 0.11.2

Reported by: ryandesign (Ryan Carsten Schmidt) Owned by: adfernandes (Andrew Fernandes)
Priority: Normal Milestone:
Component: ports Version: 1.9.2
Keywords: Cc:
Port: ppl

Description

Looks like ppl should be updated to 0.11.2.

Change History (2)

comment:1 Changed 13 years ago by adfernandes (Andrew Fernandes)

Committed in r77837. Note that I've updated glpk too as per #29133.

comment:2 Changed 13 years ago by adfernandes (Andrew Fernandes)

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.