commit 6d672ddc683380054d2143ae1f5f2fe8e99457cd · anil.recoil.org/opam-repository

+1 -1

packages/antic/antic.0.3.1/opam

···

       6
       6
        
       homepage: "https://github.com/bobot/ocaml-flint"

     

       7
       7
        
       bug-reports: "https://github.com/bobot/ocaml-flint/issues"

     

       8
       8
        
       depends: [

     

       9
       9
       -
         "dune" {>= "3.2"}

     

       9
       9
       +
         "dune" {>= "3.2" & < "3.11.0"}

     

       10
       10
        
         "conf-antic"

     

       11
       11
        
         "flint" {= version}

     

       12
       12
        
         "ctypes" {>= "0.20.1"}

+1 -1

packages/arb/arb.0.3.1/opam

···

       6
       6
        
       homepage: "https://github.com/bobot/ocaml-flint"

     

       7
       7
        
       bug-reports: "https://github.com/bobot/ocaml-flint/issues"

     

       8
       8
        
       depends: [

     

       9
       9
       -
         "dune" {>= "3.2"}

     

       9
       9
       +
         "dune" {>= "3.2" & < "3.11.0"}

     

       10
       10
        
         "conf-arb"

     

       11
       11
        
         "flint" {= version}

     

       12
       12
        
         "ctypes" {>= "0.20.1"}

+1 -1

packages/calcium/calcium.0.3.1/opam

···

       7
       7
        
       homepage: "https://github.com/bobot/ocaml-flint"

     

       8
       8
        
       bug-reports: "https://github.com/bobot/ocaml-flint/issues"

     

       9
       9
        
       depends: [

     

       10
       10
       -
         "dune" {>= "3.2"}

     

       10
       10
       +
         "dune" {>= "3.2" & < "3.11.0"}

     

       11
       11
        
         "conf-calcium"

     

       12
       12
        
         "zarith" {>= "1.12"}

     

       13
       13
        
         "flint" {= version}

+1 -1

packages/flint/flint.0.3.1/opam

···

       6
       6
        
       homepage: "https://github.com/bobot/ocaml-flint"

     

       7
       7
        
       bug-reports: "https://github.com/bobot/ocaml-flint/issues"

     

       8
       8
        
       depends: [

     

       9
       9
       -
         "dune" {>= "3.2"}

     

       9
       9
       +
         "dune" {>= "3.2" & < "3.11.0"}

     

       10
       10
        
         "conf-flint"

     

       11
       11
        
         "zarith" {>= "1.12"}

     

       12
       12
        
         "ctypes" {>= "0.20.1"}