diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-11-11 18:00:58 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-11 18:00:58 +0000 |
commit | 9776723357705dedeb933221c8f9b295d44813d7 (patch) | |
tree | 15d5753e5cb6835221543be566b71f0a05dd9860 /pkgs/applications/science/logic/aiger | |
parent | 940180423aaad6f43db3510e9418ced525613d51 (diff) | |
parent | a4e452c906b13806fcea511ab58792d7748203b0 (diff) |
Merge master into staging-next
Diffstat (limited to 'pkgs/applications/science/logic/aiger')
-rw-r--r-- | pkgs/applications/science/logic/aiger/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/aiger/default.nix b/pkgs/applications/science/logic/aiger/default.nix index 972bea3fbc390..5b9e8f62aa01c 100644 --- a/pkgs/applications/science/logic/aiger/default.nix +++ b/pkgs/applications/science/logic/aiger/default.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation rec { version = "1.9.9"; src = fetchurl { - url = "http://fmv.jku.at/aiger/${pname}-${version}.tar.gz"; + url = "https://fmv.jku.at/aiger/${pname}-${version}.tar.gz"; sha256 = "1ish0dw0nf9gyghxsdhpy1jjiy5wp54c993swp85xp7m6vdx6l0y"; }; @@ -52,7 +52,7 @@ stdenv.mkDerivation rec { meta = { description = "And-Inverter Graph (AIG) utilities"; - homepage = "http://fmv.jku.at/aiger/"; + homepage = "https://fmv.jku.at/aiger/"; license = lib.licenses.mit; maintainers = with lib.maintainers; [ thoughtpolice ]; platforms = lib.platforms.unix; |