Changes between Initial Version and Version 2 of Ticket #37425


Ignore:
Timestamp:
Dec 28, 2012, 11:21:33 PM (11 years ago)
Author:
ryandesign (Ryan Carsten Schmidt)
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #37425

    • Property Owner changed from macports-tickets@… to reilles@…
    • Property Keywords haspatch added
    • Property Cc ryandesign@… added
    • Property Summary changed from Patch to upgrade Coq to 8.4pl1 to coq: update to 8.4pl1
  • Ticket #37425 – Description

    initial v2  
    11Enclosed please find a patch to:
    22
    3 1) Upgrade Coq to 8.4pl1
    4 2) Remove the no longer needed dependency on OCaml3
     3 1. Upgrade Coq to 8.4pl1
     4 2. Remove the no longer needed dependency on OCaml3