Fix new link

EasyCrypt · Oct 10, 2022 · 3d0f508 · 3d0f508
1 parent 8e046e1
commit 3d0f508
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -30,7 +30,7 @@ EasyCrypt uses the following third-party tools/libraries:
 
  * OCaml (>= 4.08)
 
-     Available at http://caml.inria.fr/
+     Available at https://ocaml.org/
 
  * OCamlbuild