nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 07:53:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #254881 from kashw2/scryer-prolog

Browse Source 
scryer-prolog: 0.9.1 -> 0.9.2
This commit is contained in:
Yorick 2023-09-13 15:46:51 +02:00 committed by GitHub
commit 02d381afbc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 932 additions and 768 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1693
pkgs/development/compilers/scryer-prolog/Cargo.lock generated
View File

File diff suppressed because it is too large Load Diff

7
pkgs/development/compilers/scryer-prolog/default.nix
View File

@ -11,19 +11,22 @@
rustPlatform.buildRustPackage rec {
pname = "scryer-prolog";
version = "0.9.1";
version = "0.9.2";
src = fetchFromGitHub {
owner = "mthom";
repo = "scryer-prolog";
rev = "v${version}";
sha256 = "bDLVOXX9nv6Guu5czRFkviJf7dBiaqt5O8SLUJlcBZo=";
hash = "sha256-68wtRFkJh8OIdauSIyJ29en399TLnaRaRxw+5bkykxk=";
};
cargoLock = {
lockFile = ./Cargo.lock;
outputHashes = {
"dashu-0.3.1" = "sha256-bovPjLs98oj8/e/X/9GIYCzArzGfshjoeHU7IHdnq30=";
"libffi-3.2.0" = "sha256-GcNcXJCfiJp/7X5FXQJ/St0SmsPlCyeM8/s9FR+VE+M=";
"modular-bitfield-0.11.2" = "sha256-vcx+xt5owZVWOlKwudAr0EB1zlLLL5pVfWokw034BQI=";
"num-modular-0.5.2" = "sha256-G4Kr3BMbXprC6tbG3mY/fOi2sQzaepOTeC4vDiOKWUM=";
};
};