commit 15a6898809ff2092bf78c0fc101712aa4b71cc4b · anil.recoil.org/opam-repository

+1 -1

packages/ortac-core/ortac-core.0.5.0/opam

···

       55
       55
        
         ["dune" "install" "-p" name "--create-install-files" name]

     

       56
       56
        
       ]

     

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

     

       58
       58
       -
       x-maintenance-intent: [("latest")]

     

       58
       58
       +
       x-maintenance-intent: ["(latest)"]

     

       59
       59
        
       url {

     

       60
       60
        
         src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz"

     

       61
       61
        
         checksum: [

+1 -1

packages/ortac-dune/ortac-dune.0.5.0/opam

···

       33
       33
        
         ["dune" "install" "-p" name "--create-install-files" name]

     

       34
       34
        
       ]

     

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

     

       36
       36
       -
       x-maintenance-intent: [("latest")]

     

       36
       36
       +
       x-maintenance-intent: ["(latest)"]

     

       37
       37
        
       url {

     

       38
       38
        
         src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz"

     

       39
       39
        
         checksum: [

+1 -1

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

···

       54
       54
        
         ["dune" "install" "-p" name "--create-install-files" name]

     

       55
       55
        
       ]

     

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

     

       57
       57
       -
       x-maintenance-intent: [("latest")]

     

       57
       57
       +
       x-maintenance-intent: ["(latest)"]

     

       58
       58
        
       url {

     

       59
       59
        
         src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz"

     

       60
       60
        
         checksum: [

+1 -1

packages/ortac-runtime-qcheck-stm/ortac-runtime-qcheck-stm.0.5.0/opam

···

       41
       41
        
         ["dune" "install" "-p" name "--create-install-files" name]

     

       42
       42
        
       ]

     

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

     

       44
       44
       -
       x-maintenance-intent: [("latest")]

     

       44
       44
       +
       x-maintenance-intent: ["(latest)"]

     

       45
       45
        
       url {

     

       46
       46
        
         src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz"

     

       47
       47
        
         checksum: [

+1 -1

packages/ortac-runtime/ortac-runtime.0.5.0/opam

···

       42
       42
        
         ["dune" "install" "-p" name "--create-install-files" name]

     

       43
       43
        
       ]

     

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

     

       45
       45
       -
       x-maintenance-intent: [("latest")]

     

       45
       45
       +
       x-maintenance-intent: ["(latest)"]

     

       46
       46
        
       url {

     

       47
       47
        
         src: "https://github.com/ocaml-gospel/ortac/archive/refs/tags/0.5.0.tar.gz"

     

       48
       48
        
         checksum: [