id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 51229,Update coq to 8.5pl1 -- maintainer patch enclosed,pmetzger,macports-tickets@…,Update coq to 8.5pl1. No changes other than the version number and checksum.,update,closed,Normal,,ports,,fixed,haspatch maintainer,,coq