@@ -37,7 +37,7 @@ a declarative logic/functional language. The University of Melbourne Mercury
compiler is written in Mercury; originally it compiled via C but now it also
has a back end that generates assembler directly, using the GCC back end.</li>
-<li><a href="http://CobolForGCC.sourceforge.net/">Cobol For GCC</a>
+<li><a href="https://CobolForGCC.sourceforge.net/">Cobol For GCC</a>
(at an early stage of development).</li>
<li><a href="http://www.nongnu.org/gm2/">GNU Modula-2</a> implements
@@ -61,7 +61,7 @@ VHDL (IEEE 1076) hardware design language. GHDL and its runtime library
are written in Ada95 using GNAT and are distributed under the GPL.
Currently they only support GNU/Linux x86 systems.</li>
-<li><a href="http://pl1gcc.sourceforge.net/">PL/1 for GCC</a> is a
+<li><a href="https://pl1gcc.sourceforge.net/">PL/1 for GCC</a> is a
GCC front end for the PL/I language.</li>
<li><a href="https://github.com/Intrepid/GUPC">GCC Unified Parallel C</a>