···

       
24
       
 
       
]

     

       
25
       
 
       


     

       
26
       
 
       
build: [

     

       
27
       
-
       
  [ "dune" "subst" ] {pinned}

     

       
28
       
 
       
  [ "dune" "build" "-p" name "-j" jobs ]

     

       
29
       
 
       
]

     

       
30
       
 
       
url {

     

···

       
24
       
 
       
]

     

       
25
       
 
       


     

       
26
       
 
       
build: [

     

       
27
       
+
       
  [ "dune" "subst" ] {dev}

     

       
28
       
 
       
  [ "dune" "build" "-p" name "-j" jobs ]

     

       
29
       
 
       
]

     

       
30
       
 
       
url {