id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,fix_version,see_also 1395,"Add coq, coqide and proofgeneral for 6.820",jdreed,,,enhancement,closed,high,Current Semester,--,fixed,,,debathena-thirdparty-languages 1.2.3,