Changes between Version 6 and Version 7 of Ticket #20692, comment 61
- Timestamp:
- 10/18/16 10:35:16 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #20692, comment 61
v6 v7 1 1 Note 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.