1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/cryptoverif/default.nix b/pkgs/applications/science/logic/cryptoverif/default.nix
index df9e58af08b..1b7b54e2ccb 100644
--- a/pkgs/applications/science/logic/cryptoverif/default.nix
+++ b/pkgs/applications/science/logic/cryptoverif/default.nix
@@ -29,7 +29,7 @@ stdenv.mkDerivation rec {
 
   meta = {
     description = "Cryptographic protocol verifier in the computational model";
-    homepage    = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/";
+    homepage    = "https://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/";
     license     = stdenv.lib.licenses.cecill-b;
     platforms   = stdenv.lib.platforms.unix;
     maintainers = [ stdenv.lib.maintainers.thoughtpolice ];