www/software software.html

[Therese Godefroy]

CVSROOT:        /webcvs/www
Module name:    www
Changes by:     Therese Godefroy <th_g> 20/05/18 11:56:25

Modified files:
        software       : software.html 

Log message:
        Comment out link to the GNUstep PPA (RT #1531917);
        remove link to leonardo home page (vaporware); cosmetic changes.

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/software/software.html?cvsroot=www&r1=1.241&r2=1.242

Patches:
Index: software.html
===================================================================
RCS file: /webcvs/www/www/software/software.html,v
retrieving revision 1.241
retrieving revision 1.242
diff -u -b -r1.241 -r1.242
--- software.html       24 Feb 2020 20:56:26 -0000      1.241
+++ software.html       18 May 2020 15:56:25 -0000      1.242
@@ -12,7 +12,7 @@
 }
 div.package-list a, div.package-list a:visited {
    display: inline-block;
-   width: 9em;
+   width: 10.5em;
    line-height: 1.5em;
    text-decoration: none;
 }
@@ -53,7 +53,6 @@
 <!--#include virtual="/server/fs-gang-definitions.html" -->
 <!--#include virtual="/server/banner.html" -->
 <h2>GNU Software</h2>
-
 <div class="summary">
 <hr class="no-display" />
 <ul>
@@ -144,9 +143,9 @@
 <li>Use the
 <a
 href="https://launchpad.net/~dns/+archive/gnu?field.series_filter=";>GNU
-PPA</a> or <a
+PPA</a> <!-- [Dead as of 2020-05-18 RT #1531917] or <a
 href="https://launchpad.net/~dns/+archive/gnustep?field.series_filter=";>GNUstep
-PPA</a> (Personal Package Archive) on Trisquel, gNewSense, or related
+PPA</a> --> (Personal Package Archive) on Trisquel, gNewSense, or related
 distros to get the latest releases suitably packaged.</li>
 
 <li>Get the development sources for a package and build them.
@@ -273,7 +272,6 @@
 <a href="isofsmk/">isofsmk</a>,
 <a href="jdresolve/">jdresolve</a>,
 <a href="lengualibre/">lengualibre</a>,
-<a href="leonardo/">leonardo</a>,
 <a href="libcvs-spec/">libcvs-spec</a>,
 <a href="libopts/">libopts</a>,
 <a href="m68hc11/">m68hc11</a>,
@@ -375,7 +373,7 @@
 
 <p class="unprintable">Updated:
 <!-- timestamp start -->
-$Date: 2020/02/24 20:56:26 $
+$Date: 2020/05/18 15:56:25 $
 <!-- timestamp end -->
 </p>
 </div>