mit-athena/debathena-thirdparty-languages — pull request #3 by jdreed (2013-09-12 16:06:45+00:00)
Title: Add coq, coqide, and proofgeneral

6.820 requested these packages, per (Trac: #1395)