Unverified Commit 3d5ad96d authored by Emily Trau's avatar Emily Trau Committed by GitHub
Browse files

Merge pull request #265825 from wkral/scryer-0.9.3 

scryer-prolog: 0.9.2 -> 0.9.3
parents 0bcdafbd 0c8f03b8

maintainers/maintainer-list.nix

+6 −0
Original line number Diff line number Diff line
@@ -19409,6 +19409,12 @@ 
    githubId = 168610;

    name = "Ricardo M. Correia";

  };

  wkral = {

    email = "william.kral@gmail.com";

    github = "wkral";

    githubId = 105114;

    name = "William Kral";

  };

  wladmis = {

    email = "dev@wladmis.org";

    github = "wladmis";

pkgs/development/compilers/scryer-prolog/Cargo.lock

+448 −193

File changed.

Preview size limit exceeded, changes collapsed.

pkgs/development/compilers/scryer-prolog/default.nix

+12 −6
Original line number Diff line number Diff line 
{ lib

, rustPlatform

, fetchFromGitHub

, fetchpatch

, pkg-config

, openssl

, gmp
@@ -11,22 +12,27 @@ 


rustPlatform.buildRustPackage rec {

  pname = "scryer-prolog";

  version = "0.9.2";

  version = "0.9.3";



  src = fetchFromGitHub {

    owner = "mthom";

    repo = "scryer-prolog";

    rev = "v${version}";

    hash = "sha256-68wtRFkJh8OIdauSIyJ29en399TLnaRaRxw+5bkykxk=";

    hash = "sha256-0J69Zl+ONvR6T+xf2YeShwn3/JWOHyFHLpNFwmEaIOI=";

  };



  patches = [

    (fetchpatch {

      name = "cargo-lock-version-bump.patch";

      url = "https://github.com/mthom/scryer-prolog/commit/d6fe5b5aaddb9886a8a34841a65cb28c317c2913.patch";

      hash = "sha256-xkGsjVV/FcyZXGkI84FlqcRIuDM7isCCWZ1sbKql7es=";

    })

  ];



  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=";

    };

  };
@@ -40,6 +46,6 @@ rustPlatform.buildRustPackage rec { 
    description = "A modern Prolog implementation written mostly in Rust";

    homepage = "https://github.com/mthom/scryer-prolog";

    license = with licenses; [ bsd3 ];

    maintainers = with maintainers; [ malbarbo ];

    maintainers = with maintainers; [ malbarbo wkral ];

  };

}