commit 05feaa1d5dcfa4957c0a4a8dcc25bdc0bbbf5e88 · anil.recoil.org/opam-repository

+1 -1

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

···

       30
       30
        
         "ppxlib" {>= "0.26.0"}

     

       31
       31
        
         "gospel" {>= "0.2.0"}

     

       32
       32
        
         "alcotest" {with-test & >= "0.8.1"}

     

       33
       33
       -
         "ortac-runtime" {with-test}

     

       33
       33
       +
         "ortac-runtime" {with-test & = version}

     

       34
       34
        
       ]

     

       35
       35
        
       build: [

     

       36
       36
        
         ["dune" "subst"] {dev}

+1 -1

packages/ortac-core/ortac-core.0.2.0/opam

···

       31
       31
        
         "ppxlib" {>= "0.26.0"}

     

       32
       32
        
         "gospel" {>= "0.3.0"}

     

       33
       33
        
         "alcotest" {with-test & >= "0.8.1"}

     

       34
       34
       -
         "ortac-runtime" {with-test}

     

       34
       34
       +
         "ortac-runtime" {with-test & = version}

     

       35
       35
        
         "odoc" {with-doc}

     

       36
       36
        
       ]

     

       37
       37
        
       conflicts: [

+1 -1

packages/ortac-core/ortac-core.0.3.0/opam

···

       31
       31
        
         "ppxlib" {>= "0.26.0"}

     

       32
       32
        
         "gospel" {= "0.3.0"}

     

       33
       33
        
         "alcotest" {with-test & >= "0.8.1"}

     

       34
       34
       -
         "ortac-runtime" {with-test}

     

       34
       34
       +
         "ortac-runtime" {with-test & = version}

     

       35
       35
        
         "odoc" {with-doc}

     

       36
       36
        
       ]

     

       37
       37
        
       conflicts: [

+1 -1

packages/ortac-dune/ortac-dune.0.3.0/opam

···

       12
       12
        
         "fmt"

     

       13
       13
        
         "cmdliner" {>= "1.1.0"}

     

       14
       14
        
         "ortac-core" {= version}

     

       15
       15
       -
         "ortac-qcheck-stm" {with-test}

     

       15
       15
       +
         "ortac-qcheck-stm" {with-test & = version}

     

       16
       16
        
         "odoc" {with-doc}

     

       17
       17
        
       ]

     

       18
       18
        
       build: [

+2 -2

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

···

       29
       29
        
         "qcheck-core" {with-test}

     

       30
       30
        
         "qcheck-stm" {with-test}

     

       31
       31
        
         "qcheck-multicoretests-util" {with-test}

     

       32
       32
       -
         "ortac-core"

     

       33
       33
       -
         "ortac-runtime" {with-test}

     

       32
       32
       +
         "ortac-core" {= version}

     

       33
       33
       +
         "ortac-runtime" {with-test & = version}

     

       34
       34
        
       ]

     

       35
       35
        
       build: [

     

       36
       36
        
         ["dune" "subst"] {dev}

+3 -3

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

···

       30
       30
        
         "qcheck-core" {with-test}

     

       31
       31
        
         "qcheck-stm" {with-test}

     

       32
       32
        
         "qcheck-multicoretests-util" {with-test}

     

       33
       33
       -
         "ortac-core" {>= "0.2.0"}

     

       34
       34
       -
         "ortac-runtime" {with-test}

     

       35
       35
       -
         "ortac-runtime-qcheck-stm" {with-test}

     

       33
       33
       +
         "ortac-core" {= version}

     

       34
       34
       +
         "ortac-runtime" {with-test & = version}

     

       35
       35
       +
         "ortac-runtime-qcheck-stm" {with-test & = version}

     

       36
       36
        
         "odoc" {with-doc}

     

       37
       37
        
       ]

     

       38
       38
        
       conflicts: [

+1 -1

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

···

       17
       17
        
         "dune" {>= "3.8"}

     

       18
       18
        
         "ocaml" {>= "4.12.0"}

     

       19
       19
        
         "qcheck-stm"

     

       20
       20
       -
         "ortac-runtime" {>= "0.2.0"}

     

       20
       20
       +
         "ortac-runtime" {= version}

     

       21
       21
        
         "odoc" {with-doc}

     

       22
       22
        
       ]

     

       23
       23
        
       build: [