Changes between Initial Version and Version 1 of Ticket #55385, comment 6


Ignore:
Timestamp:
Nov 22, 2017, 6:19:05 PM (6 years ago)
Author:
mojca (Mojca Miklavec)
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #55385, comment 6

    initial v1  
    11I have no numbers, but 10.6 is still somehow popular for enthusiasts. Maintainers are not expected to fix the problems if they don't want to, it purely depends on the enthusiasm of each individual. If it's just a matter of blacklisting gcc 4.2, it might be worth a shot. If it requires heavy patching, there's no need to waste your precious time.
    22
    3 For `coq` on 10.10 check [https://build.macports.org/builders/ports-10.10_x86_64-watcher/builds/10677 this build] (once ready).
     3For `coq` on 10.10 check [https://build.macports.org/builders/ports-10.10_x86_64-builder/builds/42102 this build] (once ready).