···

       
55
       
55
       
 
       
  "qcheck" {with-test}

     

       
56
       
56
       
 
       
  "odoc" {with-doc}

     

       
57
       
57
       
 
       
]

     

       
58
       
58
       
+
       
dev-repo: "git+https://github.com/darrenldl/docfd.git"

     

       
58
       
59
       
 
       
build: [

     

       
59
       
60
       
 
       
  ["dune" "subst"] {dev}

     

       
60
       
61
       
 
       
  [

     
···

       
65
       
66
       
 
       
    "-j"

     

       
66
       
67
       
 
       
    jobs

     

       
67
       
68
       
 
       
    "@install"

     

       
68
       
68
       
-
       
    "@runtest" {with-test}

     

       
69
       
69
       
 
       
    "@doc" {with-doc}

     

       
70
       
70
       
 
       
  ]

     

       
71
       
71
       
 
       
]

     

       
72
       
72
       
-
       
dev-repo: "git+https://github.com/darrenldl/docfd.git"

     

       
73
       
72
       
 
       
pin-depends: [

     

       
74
       
73
       
 
       
  [ "nottui.0.3" "git+https://github.com/let-def/lwd.git#a337a778001e6c1dbaed7e758c9e05f300abd388" ]

     

       
75
       
74
       
 
       
]