commit 13d1775fbf51242a970b6049ae191f6fae3060c6 · anil.recoil.org/opam-repository

+2

packages/ortac-core/ortac-core.0.1.0/opam

···

       41
        
           name

     

       42
        
           "-j"

     

       43
        
           jobs

     

       0
        
       
     

       44
        
           "@install"

     

       45
        
           "@runtest" {with-test}

     

       46
        
           "@doc" {with-doc}

     

       47
        
         ]

     

       0
        
       
     

       48
        
       ]

     

       49
        
       dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"

     

       50
        
       url {

···

       41
        
           name

     

       42
        
           "-j"

     

       43
        
           jobs

     

       44
       +
           "--promote-install-files=false"

     

       45
        
           "@install"

     

       46
        
           "@runtest" {with-test}

     

       47
        
           "@doc" {with-doc}

     

       48
        
         ]

     

       49
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       50
        
       ]

     

       51
        
       dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"

     

       52
        
       url {

+2

packages/ortac-qcheck-stm/ortac-qcheck-stm.0.1.0/opam

···

       41
        
           name

     

       42
        
           "-j"

     

       43
        
           jobs

     

       0
        
       
     

       44
        
           "@install"

     

       45
        
           "@runtest" {with-test}

     

       46
        
           "@doc" {with-doc}

     

       47
        
         ]

     

       0
        
       
     

       48
        
       ]

     

       49
        
       dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"

     

       50
        
       conflicts: [

···

       41
        
           name

     

       42
        
           "-j"

     

       43
        
           jobs

     

       44
       +
           "--promote-install-files=false"

     

       45
        
           "@install"

     

       46
        
           "@runtest" {with-test}

     

       47
        
           "@doc" {with-doc}

     

       48
        
         ]

     

       49
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       50
        
       ]

     

       51
        
       dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"

     

       52
        
       conflicts: [

+2

packages/ortac-runtime/ortac-runtime.0.1.0/opam

···

       32
        
           name

     

       33
        
           "-j"

     

       34
        
           jobs

     

       0
        
       
     

       35
        
           "@install"

     

       36
        
           "@runtest" {with-test}

     

       37
        
           "@doc" {with-doc}

     

       38
        
         ]

     

       0
        
       
     

       39
        
       ]

     

       40
        
       dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"

     

       41
        
       url {

···

       32
        
           name

     

       33
        
           "-j"

     

       34
        
           jobs

     

       35
       +
           "--promote-install-files=false"

     

       36
        
           "@install"

     

       37
        
           "@runtest" {with-test}

     

       38
        
           "@doc" {with-doc}

     

       39
        
         ]

     

       40
       +
         ["dune" "install" "-p" name "--create-install-files" name]

     

       41
        
       ]

     

       42
        
       dev-repo: "git+https://github.com/ocaml-gospel/ortac.git"

     

       43
        
       url {