commit d99f16697bc4269c7cf1addf922eaeab2fdf44f5 · anil.recoil.org/opam-repository

+1 -1

packages/antic/antic.0.1.5/opam

···

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

     

       8
       8
        
       depends: [

     

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

     

       10
       10
       -
         "flint"

     

       10
       10
       +
         "flint" {= version}

     

       11
       11
        
         "ctypes" {>= "0.20.1"}

     

       12
       12
        
         "conf-mpfr" {>= "3"}

     

       13
       13
        
         "ocaml" {>= "4.10"}

+1 -1

packages/arb/arb.0.1.5/opam

···

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

     

       8
       8
        
       depends: [

     

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

     

       10
       10
       -
         "flint"

     

       10
       10
       +
         "flint" {= version}

     

       11
       11
        
         "ctypes" {>= "0.20.1"}

     

       12
       12
        
         "conf-mpfr" {>= "3"}

     

       13
       13
        
         "ocaml" {>= "4.10"}

+3 -3

packages/calcium/calcium.0.1.5/opam

···

       9
       9
        
       depends: [

     

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

     

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

     

       12
       12
       -
         "flint"

     

       13
       13
       -
         "arb"

     

       14
       14
       -
         "antic"

     

       12
       12
       +
         "flint" {= version}

     

       13
       13
       +
         "arb" {= version}

     

       14
       14
       +
         "antic" {= version}

     

       15
       15
        
         "ctypes" {>= "0.20.1"}

     

       16
       16
        
         "conf-mpfr" {>= "3"}

     

       17
       17
        
         "dune-site" {with-test}