guile-quickcheck: init at 0.1.0

This commit is contained in:
Gabriel Arazas 2023-10-14 19:17:23 +08:00
parent f3fe1692d9
commit 290c406ab9
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC

View File

@ -0,0 +1,29 @@
{ stdenv
, lib
, fetchurl
, pkg-config
, guile
}:
stdenv.mkDerivation rec {
pname = "guile-quickcheck";
version = "0.1.0";
src = fetchurl {
url = "https://files.ngyro.com/guile-quickcheck/guile-quickcheck-${version}.tar.gz";
hash = "sha256-y5msW+mbQ7YeucRS2VNUPokOKoP8g6ysKJ2UMWiIvA4=";
};
nativeBuildInputs = [ pkg-config ];
buildInputs = [ guile ];
doCheck = !stdenv.isDarwin;
meta = with lib; {
homepage = "https://ngyro.com/software/guile-quickcheck.html";
description = "Guile library providing tools for randomized, property-based testing";
license = licenses.gpl3Plus;
maintainers = with maintainers; [ foo-dogsquared ];
platforms = guile.meta.platforms;
};
}