id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 25920,PETSC debug variant,johnmichael.fischer@…,mamoll,"I've modified the latest petsc portfile to include a debug variant. Thought i'd contribute it. ",update,closed,Normal,,ports,,fixed,,,petsc