mps: 1.117.0 -> 1.118.0

This commit is contained in:
Arnout Engelen 2023-09-29 19:44:04 +02:00
parent 8a86b98f0b
commit 3b14971fd4
No known key found for this signature in database
GPG key ID: 061107B0F74A6DAA
2 changed files with 13 additions and 7 deletions

View file

@ -1,12 +1,19 @@
{ 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;

View file

@ -24194,7 +24194,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 { };