Unverified Commit a8c0e1f4 authored by Nikolay Korotkiy's avatar Nikolay Korotkiy Committed by GitHub
Browse files

Merge pull request #258072 from raboof/mps-1.117.0-to-1.118.0

mps: 1.117.0 -> 1.118.0
parents 874b6543 3b14971f
Loading
Loading
Loading
Loading
+12 −6
Original line number Diff line number Diff line
{ lib, stdenv, fetchurl, autoreconfHook, sqlite }:
{ lib
, stdenv
, fetchFromGitHub
, autoreconfHook
, sqlite
}:

stdenv.mkDerivation rec {
  pname = "mps";
  version = "1.117.0";
  version = "1.118.0";

  src = fetchurl {
    url    = "https://www.ravenbrook.com/project/mps/release/${version}/mps-kit-${version}.tar.gz";
    sha256 = "04ix4l7lk6nxxk9sawpnxbybvqb82lks5606ym10bc1qbc2kqdcz";
  src = fetchFromGitHub {
    owner = "Ravenbrook";
    repo = "mps";
    rev = "refs/tags/release-${version}";
    hash = "sha256-3ql3jWLccgnQHKf23B1en+nJ9rxqmHcWd7aBr93YER0=";
  };

  nativeBuildInputs = [ autoreconfHook ];
@@ -21,7 +28,6 @@ stdenv.mkDerivation rec {


  meta = {
    broken      = true;
    description = "A flexible memory management and garbage collection library";
    homepage    = "https://www.ravenbrook.com/project/mps";
    license     = lib.licenses.sleepycat;
+1 −1
Original line number Diff line number Diff line
@@ -24199,7 +24199,7 @@ with pkgs;
  nanomq = callPackage ../servers/mqtt/nanomq { };
  mps = callPackage ../development/libraries/mps { stdenv = gcc10StdenvCompat; };
  mps = callPackage ../development/libraries/mps { };
  libmpeg2 = callPackage ../development/libraries/libmpeg2 { };