commit 8121af07deb6284d8d5fd9c9c6ed133ca7edaecd · anil.recoil.org/opam-repository

+1

packages/qcheck-lin/qcheck-lin.0.5/opam

···

       42
       42
        
         ]

     

       43
       43
        
       ]

     

       44
       44
        
       dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"

     

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

     

       45
       46
        
       url {

     

       46
       47
        
         src:

     

       47
       48
        
           "https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.5.tar.gz"

+1

packages/qcheck-multicoretests-util/qcheck-multicoretests-util.0.5/opam

···

       32
       32
        
         ]

     

       33
       33
        
       ]

     

       34
       34
        
       dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"

     

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

     

       35
       36
        
       url {

     

       36
       37
        
         src:

     

       37
       38
        
           "https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.5.tar.gz"

+1

packages/qcheck-stm/qcheck-stm.0.5/opam

···

       42
       42
        
         ]

     

       43
       43
        
       ]

     

       44
       44
        
       dev-repo: "git+https://github.com/ocaml-multicore/multicoretests.git"

     

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

     

       45
       46
        
       url {

     

       46
       47
        
         src:

     

       47
       48
        
           "https://github.com/ocaml-multicore/multicoretests/archive/refs/tags/0.5.tar.gz"