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

+3 -3

packages/alt-ergo-lib/alt-ergo-lib.2.5.0/opam

···

       17
       17
        
         "ocaml" {>= "4.08.0"}

     

       18
       18
        
         "dune" {>= "3.0"}

     

       19
       19
        
         "dune-build-info"

     

       20
       20
       -
         "dolmen" {>= "0.9"}

     

       21
       21
       -
         "dolmen_type" {>= "0.9"}

     

       22
       22
       -
         "dolmen_loop" {>= "0.9"}

     

       20
       20
       +
         "dolmen" {>= "0.9" & < "0.10" }

     

       21
       21
       +
         "dolmen_type" {>= "0.9" & < "0.10" }

     

       22
       22
       +
         "dolmen_loop" {>= "0.9" & < "0.10" }

     

       23
       23
        
         "ocplib-simplex" {>= "0.5"}

     

       24
       24
        
         "zarith" {>= "1.11"}

     

       25
       25
        
         "seq"

+3 -3

packages/alt-ergo-lib/alt-ergo-lib.2.5.1/opam

···

       15
       15
        
         "ocaml" {>= "4.08.0"}

     

       16
       16
        
         "dune" {>= "3.0"}

     

       17
       17
        
         "dune-build-info"

     

       18
       18
       -
         "dolmen" {>= "0.9"}

     

       19
       19
       -
         "dolmen_type" {>= "0.9"}

     

       20
       20
       -
         "dolmen_loop" {>= "0.9"}

     

       18
       18
       +
         "dolmen" {>= "0.9" & < "0.10" }

     

       19
       19
       +
         "dolmen_type" {>= "0.9" & < "0.10" }

     

       20
       20
       +
         "dolmen_loop" {>= "0.9" & < "0.10" }

     

       21
       21
        
         "ocplib-simplex" {>= "0.5"}

     

       22
       22
        
         "zarith" {>= "1.11"}

     

       23
       23
        
         "seq"

+3 -3

packages/alt-ergo-lib/alt-ergo-lib.2.5.2/opam

···

       15
       15
        
         "ocaml" {>= "4.08.0"}

     

       16
       16
        
         "dune" {>= "3.0"}

     

       17
       17
        
         "dune-build-info"

     

       18
       18
       -
         "dolmen" {>= "0.9"}

     

       19
       19
       -
         "dolmen_type" {>= "0.9"}

     

       20
       20
       -
         "dolmen_loop" {>= "0.9"}

     

       18
       18
       +
         "dolmen" {>= "0.9" & < "0.10" }

     

       19
       19
       +
         "dolmen_type" {>= "0.9" & < "0.10" }

     

       20
       20
       +
         "dolmen_loop" {>= "0.9" & < "0.10" }

     

       21
       21
        
         "ocplib-simplex" {>= "0.5"}

     

       22
       22
        
         "zarith" {>= "1.11"}

     

       23
       23
        
         "seq"