replace dead links
This commit is contained in:
parent
1fc2520df1
commit
fa61f7635d
|
@ -452,13 +452,13 @@ in mkLicense lset) ({
|
||||||
|
|
||||||
inria-compcert = {
|
inria-compcert = {
|
||||||
fullName = "INRIA Non-Commercial License Agreement for the CompCert verified compiler";
|
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;
|
free = false;
|
||||||
};
|
};
|
||||||
|
|
||||||
inria-icesl = {
|
inria-icesl = {
|
||||||
fullName = "INRIA Non-Commercial License Agreement for 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;
|
free = false;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user