commit 7bd2441673ff38d67f8547d2271dace116e67392 · anil.recoil.org/opam-repository

+1 -1

packages/absolute/absolute.0.1/opam

···

       17
       17
        
         "ocaml" {>= "4.08"}

     

       18
       18
        
         "apron"

     

       19
       19
        
         "apronext" {>= "1.0.2"}

     

       20
       20
       -
         "picasso"

     

       20
       20
       +
         "picasso" {< "0.4"}

     

       21
       21
        
       ]

     

       22
       22
        
       depopts: [

     

       23
       23
        
         "vpl-core"

+1 -1

packages/absolute/absolute.0.2/opam

···

       17
       17
        
         "ocaml" {>= "4.11"}

     

       18
       18
        
         "apron"

     

       19
       19
        
         "apronext" {>= "1.0.2"}

     

       20
       20
       -
         "picasso" {>= "0.3.0"}

     

       20
       20
       +
         "picasso" {>= "0.3.0" & < "0.4"}

     

       21
       21
        
         "menhir" {>= "20180528"}

     

       22
       22
        
         "libabsolute"

     

       23
       23
        
         "odoc" {with-doc}