Merge pull request #226628 from natsukium/jmol/update

jmol: 16.1.3 -> 16.1.9
This commit is contained in:
7c6f434c 2023-04-18 15:29:43 +00:00 committed by GitHub
commit 0a187c56e3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -25,14 +25,14 @@ let
};
in
stdenv.mkDerivation rec {
version = "16.1.3";
version = "16.1.9";
pname = "jmol";
src = let
baseVersion = "${lib.versions.major version}.${lib.versions.minor version}";
in fetchurl {
url = "mirror://sourceforge/jmol/Jmol/Version%20${baseVersion}/Jmol%20${version}/Jmol-${version}-binary.tar.gz";
sha256 = "sha256-k1F4OaER9vg8GIi4eqppeh2f0MtlcBSfd4zkewFp2As=";
hash = "sha256-QGduoUKWNUjNlMEYO0wD5+igjuF03V5SVlgq44d2HDs=";
};
patchPhase = ''