Ticket #1395 (closed enhancement: fixed)

Opened 11 years ago

Last modified 11 years ago

Add coq, coqide and proofgeneral for 6.820

Reported by: jdreed Owned by:
Priority: high Milestone: Current Semester
Component: -- Keywords:
Cc: Fixed in version: debathena-thirdparty-languages 1.2.3
Upstream bug:

Description


Change History

comment:1 Changed 11 years ago by jdreed

  • Status changed from new to review

 https://github.com/mit-athena/debathena-thirdparty-languages/pull/3

comment:2 Changed 11 years ago by jdreed

  • Status changed from review to committed

committed  5a14fba5b360a1839a8d992dc5b40d84b6eb7338 (Add coq, coqide, and proofgeneral) to master

comment:3 Changed 11 years ago by jdreed

  • Status changed from committed to development
  • Fixed in version set to debathena-thirdparty-languages 1.2.3

comment:4 Changed 11 years ago by jdreed

  • Status changed from development to proposed

comment:5 Changed 11 years ago by jdreed

  • Status changed from proposed to closed
  • Resolution set to fixed
Note: See TracTickets for help on using tickets.