Changes between Version 1 and Version 2 of Ticket #27212, comment 17


Ignore:
Timestamp:
02/08/19 11:43:36 (4 years ago)
Author:
dimpase
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27212, comment 17

    v1 v2  
    2525(probably only the 2nd change, removal from `sagelib:` deps matters, not the 1st change.)
    2626
    27 and, viola, no GMP building pops up.
     27and, viola, no GMP building pops up. Needless to say, "dummies" of the form `$(inst_...)` do not get built.
    2828