Merge pull request #90013 from r-ryantm/auto-update/jmol

jmol: 14.30.2 -> 14.31.0
This commit is contained in:
markuskowa 2020-06-10 14:41:33 +02:00 committed by GitHub
commit 86d193c305
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -17,14 +17,14 @@ let
};
in
stdenv.mkDerivation rec {
version = "14.30.2";
version = "14.31.0";
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 = "0f9sxhxyqrd1vvmq566v1zpzzlci37pm9j7alzak766x5dg5yyz1";
sha256 = "14p823vxb8sfis1dgq8i9kj0rqf3cb8d0l8pspb8nz30fcvp1q7f";
};
patchPhase = ''