From 7f9916ce5f53525a7ff31a66bd295e8a45f5121b Mon Sep 17 00:00:00 2001
From: Lisanna Dettwyler <lisanna.dettwyler@gmail.com>
Date: Wed, 4 Mar 2026 20:00:23 -0500
Subject: [PATCH] cryptoverif: use https for sources

Signed-off-by: Lisanna Dettwyler <lisanna.dettwyler@gmail.com>
---
 pkgs/by-name/cr/cryptoverif/package.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/by-name/cr/cryptoverif/package.nix b/pkgs/by-name/cr/cryptoverif/package.nix
index 7d86585df43d..538e8e2c3e0a 100644
--- a/pkgs/by-name/cr/cryptoverif/package.nix
+++ b/pkgs/by-name/cr/cryptoverif/package.nix
@@ -11,7 +11,7 @@ stdenv.mkDerivation (finalAttrs: {
   version = "2.12";
 
   src = fetchurl {
-    url = "http://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${finalAttrs.version}.tar.gz";
+    url = "https://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${finalAttrs.version}.tar.gz";
     hash = "sha256-d3MIYb57+95bB493hdtHiGnTOronYaQo1Qqq1TcJh1c=";
   };