diff options
Diffstat (limited to 'pkgs/applications/science/logic/coq/8.4.nix')
| -rw-r--r-- | pkgs/applications/science/logic/coq/8.4.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/8.4.nix b/pkgs/applications/science/logic/coq/8.4.nix index 64b0f85aed2..c3da1205ab0 100644 --- a/pkgs/applications/science/logic/coq/8.4.nix +++ b/pkgs/applications/science/logic/coq/8.4.nix @@ -23,7 +23,7 @@ stdenv.mkDerivation { inherit ocaml camlp5; src = fetchurl { - url = "http://coq.inria.fr/distrib/V${version}/files/coq-${version}.tar.gz"; + url = "https://coq.inria.fr/distrib/V${version}/files/coq-${version}.tar.gz"; sha256 = "1mpbj4yf36kpjg2v2sln12i8dzqn8rag6fd07hslj2lpm4qs4h55"; }; |