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

Update packages/saturn/saturn.0.4.0/opam

Co-authored-by: Marcello Seri <mseri@users.noreply.github.com>

Sudha Parimala 4da48f01 40733ca5

options
unified split
Changed files
+1 -1
packages
saturn
saturn.0.4.0
opam
+1 -1
packages/saturn/saturn.0.4.0/opam 
···

       
11

       
11

       
 

       
  "ocaml" {>= "4.12"}


     

       
12

       
12

       
 

       
  "dune" {>= "3.0"}


     

       
13

       
13

       
 

       
  "domain_shims" {>= "0.1.0"}


     

       
14

       

       
-

       
  "saturn_lockfree" {>= "0.4.0"}


     

       

       
14

       
+

       
  "saturn_lockfree" {= version}


     

       
15

       
15

       
 

       
  "qcheck" {with-test & >= "0.18.1"}


     

       
16

       
16

       
 

       
  "qcheck-stm" {with-test & >= "0.2"}


     

       
17

       
17

       
 

       
  "qcheck-alcotest" {with-test & >= "0.18.1"}