···

       
1
       
1
       
+
       
{

     

       
2
       
2
       
+
       
  lib,

     

       
3
       
3
       
+
       
  buildDunePackage,

     

       
4
       
4
       
+
       
  dscheck,

     

       
5
       
5
       
+
       
  multicore-magic,

     

       
6
       
6
       
+
       
}:

     

       
7
       
7
       
+
       


     

       
8
       
8
       
+
       
buildDunePackage {

     

       
9
       
9
       
+
       
  pname = "multicore-magic-dscheck";

     

       
10
       
10
       
+
       


     

       
11
       
11
       
+
       
  inherit (multicore-magic) src version;

     

       
12
       
12
       
+
       


     

       
13
       
13
       
+
       
  propagatedBuildInputs = [

     

       
14
       
14
       
+
       
    dscheck

     

       
15
       
15
       
+
       
  ];

     

       
16
       
16
       
+
       


     

       
17
       
17
       
+
       
  meta = multicore-magic.meta // {

     

       
18
       
18
       
+
       
    description = "Implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic";

     

       
19
       
19
       
+
       
  };

     

       
20
       
20
       
+
       
}

     

···

       
1323
       
1323
       
 
       
        multicore-bench = callPackage ../development/ocaml-modules/multicore-bench { };

     

       
1324
       
1324
       
 
       


     

       
1325
       
1325
       
 
       
        multicore-magic = callPackage ../development/ocaml-modules/multicore-magic { };

     

       
1326
       
1326
       
+
       
        multicore-magic-dscheck = callPackage ../development/ocaml-modules/multicore-magic/dscheck.nix { };

     

       
1326
       
1327
       
 
       


     

       
1327
       
1328
       
 
       
        multipart_form = callPackage ../development/ocaml-modules/multipart_form { };

     

       
1328
       
1329