diff options
| author | Felix Buehler <account@buehler.rocks> | 2021-06-20 12:34:30 +0200 |
|---|---|---|
| committer | Felix Buehler <account@buehler.rocks> | 2021-06-30 09:55:22 +0200 |
| commit | 6f04cd0e6967bc2a426b209fa700b3a3dbb1dbc3 (patch) | |
| tree | 446cf979bc403c340d4ff6b6536d2115435bff76 /pkgs/development/tools/analysis/splint | |
| parent | 1e7f88a5235ccef5f05670bd4f7f176d697c1951 (diff) | |
| download | nixpkgs-6f04cd0e6967bc2a426b209fa700b3a3dbb1dbc3.tar nixpkgs-6f04cd0e6967bc2a426b209fa700b3a3dbb1dbc3.tar.gz nixpkgs-6f04cd0e6967bc2a426b209fa700b3a3dbb1dbc3.tar.bz2 nixpkgs-6f04cd0e6967bc2a426b209fa700b3a3dbb1dbc3.tar.lz nixpkgs-6f04cd0e6967bc2a426b209fa700b3a3dbb1dbc3.tar.xz nixpkgs-6f04cd0e6967bc2a426b209fa700b3a3dbb1dbc3.tar.zst nixpkgs-6f04cd0e6967bc2a426b209fa700b3a3dbb1dbc3.zip | |
application/development: /s/name/pname&version/
Diffstat (limited to 'pkgs/development/tools/analysis/splint')
| -rw-r--r-- | pkgs/development/tools/analysis/splint/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/tools/analysis/splint/default.nix b/pkgs/development/tools/analysis/splint/default.nix index 581ff56bb61..954342550ea 100644 --- a/pkgs/development/tools/analysis/splint/default.nix +++ b/pkgs/development/tools/analysis/splint/default.nix @@ -1,10 +1,11 @@ { fetchurl, lib, stdenv, flex }: stdenv.mkDerivation rec { - name = "splint-3.1.2"; + pname = "splint"; + version = "3.1.2"; src = fetchurl { - url = "http://www.splint.org/downloads/${name}.src.tgz"; + url = "https://www.splint.org/downloads/${pname}-${version}.src.tgz"; sha256 = "02pv8kscsrkrzip9r08pfs9xs98q74c52mlxzbii6cv6vx1vd3f7"; }; |