b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #223606 from superherointj/reason-native-qcheck-rely-remove

Browse source 
ocamlPackages.reason-native.qcheck-rely: remove
This commit is contained in:
Ulrik Strid 2023-03-29 14:20:41 +02:00 committed by GitHub
parent d6054a9d71 a5ba4a2ad4
commit 0ffeb65186
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
pkgs/development/ocaml-modules/reason-native/default.nix
View file

@ -36,7 +36,6 @@ in
fp = generic ./fp.nix;
pastel = generic ./pastel.nix;
pastel-console = generic ./pastel-console.nix;
qcheck-rely = generic ./qcheck-rely.nix;
refmterr = generic ./refmterr.nix;
rely = generic ./rely.nix;
rely-junit-reporter = generic ./rely-junit-reporter.nix;

21
pkgs/development/ocaml-modules/reason-native/qcheck-rely.nix
View file

@ -1,21 +0,0 @@
{ qcheck-core, reason, console, rely, ... }:
{
pname = "qcheck-rely";
nativeBuildInputs = [
reason
];
propagatedBuildInputs = [
qcheck-core
console
rely
];
meta = {
description = "A library containing custom Rely matchers allowing for easily using QCheck with Rely. QCheck is a 'QuickCheck inspired property-based testing for OCaml, and combinators to generate random values to run tests on'";
downloadPage = "https://github.com/reasonml/reason-native/tree/master/src/qcheck-rely";
broken = true;
};
}