Changes between Initial Version and Version 2 of Ticket #37425
- Timestamp:
- Dec 28, 2012, 11:21:33 PM (12 years ago)
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
tocoq: update to 8.4pl1
-
Ticket #37425 – Description
initial v2 1 1 Enclosed please find a patch to: 2 2 3 1)Upgrade Coq to 8.4pl14 2)Remove the no longer needed dependency on OCaml33 1. Upgrade Coq to 8.4pl1 4 2. Remove the no longer needed dependency on OCaml3