diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-04-25 00:02:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-25 00:02:35 +0000 |
| commit | 6a14b5834e3e248037a3d79b296cb9f79f87ff30 (patch) | |
| tree | 067b47b519bbd9bc42fd97bcd3d6d793ada53dc7 /pkgs/applications/science | |
| parent | 6f66eac9d12c497edc27ab9517d7845b4cfdb05c (diff) | |
| parent | 92a6bd208f5caf5e2526511c60fc61fdfd0955f7 (diff) | |
Merge master into staging-next
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/elan/default.nix | 6 | ||||
| -rw-r--r-- | pkgs/applications/science/misc/bada-bib/default.nix | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/pkgs/applications/science/logic/elan/default.nix b/pkgs/applications/science/logic/elan/default.nix index 7e4cc08d358ab..1c16de8ad9513 100644 --- a/pkgs/applications/science/logic/elan/default.nix +++ b/pkgs/applications/science/logic/elan/default.nix @@ -3,16 +3,16 @@ rustPlatform.buildRustPackage rec { pname = "elan"; - version = "1.4.0"; + version = "1.4.1"; src = fetchFromGitHub { owner = "leanprover"; repo = "elan"; rev = "v${version}"; - sha256 = "sha256-86O2P48wcib22IRB8niqVLIukGECbBV9ZufEUZEkvnQ="; + sha256 = "sha256-jHECNSXSATLuNHNSVwi7mBTI8l6+cLPDISc5T/4yHDg="; }; - cargoSha256 = "sha256-2kTAFyFDeFQn7x2oVHZvFzJVs4jLBgl0pSOCcj6Vzdk="; + cargoSha256 = "sha256-/XwlTmUboDbB6RTanhKyO6o2GBUhxpH/NQjeNsKpse0="; nativeBuildInputs = [ pkg-config makeWrapper ]; diff --git a/pkgs/applications/science/misc/bada-bib/default.nix b/pkgs/applications/science/misc/bada-bib/default.nix index 6dfc6f7ea55ac..8f840b2998db2 100644 --- a/pkgs/applications/science/misc/bada-bib/default.nix +++ b/pkgs/applications/science/misc/bada-bib/default.nix @@ -17,15 +17,15 @@ python3Packages.buildPythonApplication rec { pname = "bada-bib"; - version = "0.6.1"; + version = "0.6.2"; format = "other"; strictDeps = false; # https://github.com/NixOS/nixpkgs/issues/56943 src = fetchFromGitHub { owner = "RogerCrocker"; repo = "BadaBib"; - rev = "v${version}"; - sha256 = "sha256-fuGGKBScdo9rI3tLSBWIcWEME8nSuct0IUyfmI7PzCc="; + rev = "refs/tags/v${version}"; + sha256 = "sha256-3dXtBwqEqiXLjntmqLYeuwLv0RDb774+yOXc7vdf8+Y="; }; nativeBuildInputs = [ |