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 | |
| parent | 1fc2520df1b3ff516f2eaefaba5a289804653c05 (diff) | |
| download | nixpkgs-fa61f7635d071e0ddf4088160466119177b90e1c.tar nixpkgs-fa61f7635d071e0ddf4088160466119177b90e1c.tar.gz nixpkgs-fa61f7635d071e0ddf4088160466119177b90e1c.tar.bz2 nixpkgs-fa61f7635d071e0ddf4088160466119177b90e1c.tar.lz nixpkgs-fa61f7635d071e0ddf4088160466119177b90e1c.tar.xz nixpkgs-fa61f7635d071e0ddf4088160466119177b90e1c.tar.zst nixpkgs-fa61f7635d071e0ddf4088160466119177b90e1c.zip | |
replace dead links
Diffstat (limited to 'lib')
| -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 57939308c3a..772985f9509 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; }; |