Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ 2 lib, 3 buildDunePackage, 4 qcheck-core, 5 reason, 6 console, 7 rely, 8 src, 9}: 10 11buildDunePackage { 12 inherit src; 13 14 pname = "qcheck-rely"; 15 version = "1.0.2-unstable-2024-05-07"; 16 17 nativeBuildInputs = [ 18 reason 19 ]; 20 21 propagatedBuildInputs = [ 22 qcheck-core 23 console 24 rely 25 ]; 26 27 meta = { 28 description = "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'"; 29 downloadPage = "https://github.com/reasonml/reason-native/tree/master/src/qcheck-rely"; 30 license = lib.licenses.mit; 31 maintainers = [ ]; 32 }; 33}