@@ -452,13 +452,13 @@ in mkLicense lset) ({
452452
453453 inria-compcert = {
454454 fullName = "INRIA Non-Commercial License Agreement for the CompCert verified compiler";
455− url = "http://compcert.inria.fr/doc/LICENSE"; # https is broken
455+ url = "https://compcert.org/doc/LICENSE.txt";
456456 free = false;
457457 };
458458
459459 inria-icesl = {
460460 fullName = "INRIA Non-Commercial License Agreement for IceSL";
461− url = "http://shapeforge.loria.fr/icesl/EULA_IceSL_binary.pdf"; # https is broken
461+ url = "https://icesl.loria.fr/assets/pdf/EULA_IceSL_binary.pdf";
462462 free = false;
463463 };
464464