Merge pull request #142686 from astro/scryer-prolog

This commit is contained in:
Sandro 2021-10-25 14:07:30 +02:00 committed by GitHub
commit 9783af0b3b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 13 additions and 1 deletions

View file

@ -26,6 +26,18 @@ index ef25833..d9de212 100644
dependencies = [
"libc",
"winapi 0.3.8",
@@ -485,9 +487,9 @@ dependencies = [
[[package]]
name = "lexical-core"
-version = "0.4.6"
+version = "0.4.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2304bccb228c4b020f3a4835d247df0a02a7c4686098d4167762cfbbe4c5cb14"
+checksum = "34449d00c5d4066537f4dc72320b18e3aa421e8e92669250eecd664c618fefce"
dependencies = [
"arrayvec 0.4.12",
"cfg-if",
@@ -766,15 +766,6 @@ version = "0.1.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "77af24da69f9d9341038eba93a073b1fdaaa1b788221b00a69bce9e762cb32de"

View file

@ -22,7 +22,7 @@ rustPlatform.buildRustPackage rec {
# Use system openssl, gmp, mpc and mpfr.
cargoPatches = [ ./cargo.patch ];
cargoSha256 = "0gb0l2wwf8079jwggn9zxk8pz8pxg3b7pin1d7dsbd4ij52lzyi2";
cargoSha256 = "1vf7pfhvpk7ikzibdccw7xgbywv5n4vvshjwsdsf94bhl2knrlg3";
nativeBuildInputs = [ pkg-config ];
buildInputs = [ openssl gmp libmpc mpfr ];