anil.recoil.org / opam-repository
this repo has no description
fork atom

Update packages/coqide-server/coqide-server.8.18.0/opam

Co-authored-by: Karl Palmskog <palmskog@gmail.com>

Enrico Tassi 5af8ab15 79663ede

options
unified split
Changed files
-1
packages
coqide-server
coqide-server.8.18.0
opam
-1
packages/coqide-server/coqide-server.8.18.0/opam 
···

       
32

       
32

       
 

       
    "-j"


     

       
33

       
33

       
 

       
    jobs


     

       
34

       
34

       
 

       
    "@install"


     

       
35

       

       
-

       
    "@runtest" {with-test}


     

       
36

       
35

       
 

       
    "@doc" {with-doc}


     

       
37

       
36

       
 

       
  ]


     

       
38

       
37

       
 

       
]