Merge master into staging-next

This commit is contained in:
Frederik Rietdijk
2021-03-19 18:17:01 +01:00
22 changed files with 108 additions and 49 deletions

View File

@@ -1,10 +1,12 @@
{ lib, buildDunePackage, fetchurl, seq }:
{ lib, buildDunePackage, ocaml, fetchurl, seq, qcheck-alcotest }:
buildDunePackage rec {
minimumOCamlVersion = "4.03";
pname = "psq";
version = "0.2.0";
useDune2 = true;
src = fetchurl {
url = "https://github.com/pqwy/psq/releases/download/v${version}/psq-v${version}.tbz";
sha256 = "1j4lqkq17rskhgcrpgr4n1m1a2b1x35mlxj6f9g05rhpmgvgvknk";
@@ -12,6 +14,9 @@ buildDunePackage rec {
propagatedBuildInputs = [ seq ];
doCheck = lib.versionAtLeast ocaml.version "4.07";
checkInputs = [ qcheck-alcotest ];
meta = {
description = "Functional Priority Search Queues for OCaml";
homepage = "https://github.com/pqwy/psq";