[MacPorts] #29091: ppl: update to 0.11.2
#29091: ppl: update to 0.11.2 -------------------------------------+-------------------------------------- Reporter: ryandesign@… | Owner: adfernandes@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: ppl -------------------------------------+-------------------------------------- Looks like ppl should be updated to 0.11.2. -- Ticket URL: <https://trac.macports.org/ticket/29091> MacPorts <http://www.macports.org/> Ports system for Mac OS
#29091: ppl: update to 0.11.2 -------------------------------------+-------------------------------------- Reporter: ryandesign@… | Owner: adfernandes@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: ppl -------------------------------------+-------------------------------------- Comment(by adfernandes@…): Committed in r77837. Note that I've updated `glpk` too as per #29133. -- Ticket URL: <https://trac.macports.org/ticket/29091#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#29091: ppl: update to 0.11.2 --------------------------------------+------------------------------------- Reporter: ryandesign@… | Owner: adfernandes@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Resolution: fixed | Keywords: Port: ppl | --------------------------------------+------------------------------------- Changes (by adfernandes@…): * status: new => closed * resolution: => fixed -- Ticket URL: <https://trac.macports.org/ticket/29091#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts