id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,port 36005,coq: update to 8.4,pmetzger,reilles@…,Coq 8.4 was released a few weeks ago. The update is quite simple -- just bumping the version number and the checksums. I've enclosed a patch.,update,closed,Normal,,ports,2.1.2,fixed,haspatch,neverpanic,coq