Opened 14 years ago

Closed 14 years ago

Last modified 14 years ago

#26008 closed update (fixed)

update: ppl-0.11 (Parma Polyhedra Library)

Reported by: adfernandes (Andrew Fernandes) Owned by: adfernandes (Andrew Fernandes)
Priority: Normal Milestone:
Component: ports Version: 1.9.1
Keywords: Cc:
Port: ppl

Description

trivial version bump and taking (partial) maintainership

Change History (3)

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

Resolution: fixed
Status: newclosed

committed in r70413

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

Reverting (and fixing) to 10.2 due to (future) cloog-ppl dependency in r70415

comment:3 Changed 14 years ago by jmroot (Joshua Root)

Type: defectupdate
Note: See TracTickets for help on using tickets.