tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 dscheck,
5 multicore-magic,
6}:
7
8buildDunePackage {
9 pname = "multicore-magic-dscheck";
10
11 inherit (multicore-magic) src version;
12
13 propagatedBuildInputs = [
14 dscheck
15 ];
16
17 meta = multicore-magic.meta // {
18 description = "Implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic";
19 };
20}