Changes between Version 10 and Version 11 of DownloadRedistribution


Ignore:
Timestamp:
Sep 30, 2016, 8:52:52 PM (8 years ago)
Author:
FrederikHeber
Comment:

updated ubuntu version of provided packages

Legend:

Unmodified
Added
Removed
Modified

  • DownloadRedistribution

    v10 v11  
    99== Debian package ==
    1010
    11 Ubuntu 12.04 packages (.deb) are being provided here for convenience.
     11Ubuntu 14.04 packages (.deb) are being provided here for convenience.
    1212
    1313''Please make sure that the following dependencies are all met'' (all available as debian packages in official or unofficial form, see text in brackets):