diff options
author | William Kral <william.kral@gmail.com> | 2022-11-13 09:16:10 -0800 |
---|---|---|
committer | William Kral <william.kral@gmail.com> | 2022-12-05 09:14:51 -0800 |
commit | 1a0449aba32cebf7dddee42b44601dd78ce43ce9 (patch) | |
tree | 297692edb8303714ea45cd780fba5118c261241d /pkgs/development/compilers/scryer-prolog/default.nix | |
parent | 6cbb6bc3a04abc1ad46783c4c2bc9b12b5166237 (diff) | |
download | nixpkgs-1a0449aba32cebf7dddee42b44601dd78ce43ce9.tar nixpkgs-1a0449aba32cebf7dddee42b44601dd78ce43ce9.tar.gz nixpkgs-1a0449aba32cebf7dddee42b44601dd78ce43ce9.tar.bz2 nixpkgs-1a0449aba32cebf7dddee42b44601dd78ce43ce9.tar.lz nixpkgs-1a0449aba32cebf7dddee42b44601dd78ce43ce9.tar.xz nixpkgs-1a0449aba32cebf7dddee42b44601dd78ce43ce9.tar.zst nixpkgs-1a0449aba32cebf7dddee42b44601dd78ce43ce9.zip |
scryer-prolog: 0.9.0 -> 0.9.1
Diffstat (limited to 'pkgs/development/compilers/scryer-prolog/default.nix')
-rw-r--r-- | pkgs/development/compilers/scryer-prolog/default.nix | 16 |
1 files changed, 3 insertions, 13 deletions
diff --git a/pkgs/development/compilers/scryer-prolog/default.nix b/pkgs/development/compilers/scryer-prolog/default.nix index 0d4d843664c..739d600bf63 100644 --- a/pkgs/development/compilers/scryer-prolog/default.nix +++ b/pkgs/development/compilers/scryer-prolog/default.nix @@ -1,7 +1,6 @@ { stdenv , lib , fetchFromGitHub -, fetchpatch , rustPlatform , rustfmt , gmp @@ -13,30 +12,21 @@ rustPlatform.buildRustPackage rec { pname = "scryer-prolog"; - version = "0.9.0"; + version = "0.9.1"; src = fetchFromGitHub { owner = "mthom"; repo = "scryer-prolog"; rev = "v${version}"; - sha256 = "3NHpEg6QaUaqbBCq8uM5hFcqS24q4XrOnKjMmn8Z1Dg="; + sha256 = "bDLVOXX9nv6Guu5czRFkviJf7dBiaqt5O8SLUJlcBZo="; }; cargoPatches = [ # Use system openssl, gmp, mpc and mpfr. ./cargo.patch - - ./fix-tests.patch - - # Avoid testing failing with "couldn't save history" - (fetchpatch { - name = "fix-tests-1"; - url = "https://patch-diff.githubusercontent.com/raw/mthom/scryer-prolog/pull/1342.patch"; - sha256 = "2N0AOkFuf+H/aUn2QTXgmqjmvShTxHxB6kNuNdNoVRI="; - }) ]; - cargoSha256 = "nqAHVXAmTW9mdE2L2yhpOTz16JbYgQUmCgiFq9pBzUU="; + cargoSha256 = "A6HtvxGTjJliDMUSGkQKB13FRyfBU4EPvrlZ97ic0Ic="; nativeBuildInputs = [ pkg-config rustfmt]; buildInputs = [ openssl gmp libmpc mpfr ]; |