diff options
author | Paul-Nicolas Madelaine <pnm@pnm.tf> | 2021-08-26 15:32:15 +0200 |
---|---|---|
committer | Raphael Megzari <raphael@megzari.com> | 2021-08-26 23:14:50 +0900 |
commit | fa61f7635d071e0ddf4088160466119177b90e1c (patch) | |
tree | 696cf776ae874e260c5f53c5f7da40119df15496 /lib/licenses.nix | |
parent | 1fc2520df1b3ff516f2eaefaba5a289804653c05 (diff) |
replace dead links
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 57939308c3a3f..772985f9509d7 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; }; |