Changes between Version 16 and Version 17 of ExoticPorts


Ignore:
Timestamp:
05/06/18 17:53:44 (15 months ago)
Author:
slelievre
Comment:

Fix typo

Legend:

Unmodified
Added
Removed
Modified
  • ExoticPorts

    v16 v17  
    33== SageMath 8.2 ==
    44
    5 === Raspberry Pi running Ubuntu 16.06 ===
     5=== Raspberry Pi running Ubuntu 16.04 ===
    66
    77[[https://groups.google.com/d/msg/sage-devel/rR1VPpTC-lM/yWgotdg-BwAJ|As reported on sage-devel]],