jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

alt-ergo: use https instead of http to fetch archive

Browse Source
This commit is contained in:
Jean-Pierre PRUNARET 2017-08-13 13:26:30 +02:00
parent abdb58e407
commit 184d2e7977
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/alt-ergo/default.nix
View File

@ -5,7 +5,7 @@ stdenv.mkDerivation rec {
version = "1.30"; version = "1.30";
src = fetchurl { src = fetchurl {
url = "http://alt-ergo.ocamlpro.com/download_manager.php?target=${name}.tar.gz"; url = "https://alt-ergo.ocamlpro.com/download_manager.php?target=${name}.tar.gz";
name = "${name}.tar.gz"; name = "${name}.tar.gz";
sha256 = "025pacb4ax864fn5x8k78mw6hiig4jcazblj18gzxspg4f1l5n1g"; sha256 = "025pacb4ax864fn5x8k78mw6hiig4jcazblj18gzxspg4f1l5n1g";
}; };
@ -15,7 +15,7 @@ stdenv.mkDerivation rec {
meta = { meta = {
description = "High-performance theorem prover and SMT solver"; description = "High-performance theorem prover and SMT solver";
homepage = "http://alt-ergo.ocamlpro.com/"; homepage = "https://alt-ergo.ocamlpro.com/";
license = stdenv.lib.licenses.cecill-c; # LGPL-2 compatible license = stdenv.lib.licenses.cecill-c; # LGPL-2 compatible
platforms = stdenv.lib.platforms.linux ++ stdenv.lib.platforms.darwin; platforms = stdenv.lib.platforms.linux ++ stdenv.lib.platforms.darwin;
maintainers = [ stdenv.lib.maintainers.thoughtpolice ]; maintainers = [ stdenv.lib.maintainers.thoughtpolice ];