diff options
Diffstat (limited to 'lib/licenses.nix')
-rw-r--r-- | lib/licenses.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/licenses.nix b/lib/licenses.nix index 57939308c3a3..772985f9509d 100644 --- a/lib/licenses.nix +++ b/lib/licenses.nix @@ -452,13 +452,13 @@ in mkLicense lset) ({ inria-compcert = { fullName = "INRIA Non-Commercial License Agreement for the CompCert verified compiler"; - url = "http://compcert.inria.fr/doc/LICENSE"; # https is broken + url = "https://compcert.org/doc/LICENSE.txt"; free = false; }; inria-icesl = { fullName = "INRIA Non-Commercial License Agreement for IceSL"; - url = "http://shapeforge.loria.fr/icesl/EULA_IceSL_binary.pdf"; # https is broken + url = "https://icesl.loria.fr/assets/pdf/EULA_IceSL_binary.pdf"; free = false; }; |