Changes between Version 6 and Version 7 of Ticket #20692, comment 61


Ignore:
Timestamp:
10/18/16 10:35:16 (3 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #20692, comment 61

    v6 v7  
    11Note to self: double-check `fricas`, `frobby`, `gap3`, `gfan`, `scipoptsuite`
    2 
    3 Minor detail: the `echo "Applying Sage-specific patches"` in `sage-spkg` seems redundant since `sage-apply-patches` is sufficiently verbose. It could even be confusing if there are no patches to apply.
    4 
    5 Check conflict with #17254.