Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
508 B · 27 lines
Nix
12345678910111213141516171819202122232425262728{ lib, buildDunePackage, fetchFromGitHub,}:
buildDunePackage rec { pname = "qcheck-core"; version = "0.25";
minimalOCamlVersion = "4.08";
src = fetchFromGitHub { owner = "c-cube"; repo = "qcheck"; tag = "v${version}"; hash = "sha256-Z89jJ21zm89wb9m5HthnbHdnE9iXLyaH9k8S+FAWkKQ="; };
meta = { description = "Core qcheck library"; homepage = "https://c-cube.github.io/qcheck/"; license = lib.licenses.bsd2; maintainers = [ lib.maintainers.vbgl ]; };
}