commit 2f73a14168e7706c57b066adb15d0156bbeae86d · anil.recoil.org/opam-repository

+1 -1

packages/alt-ergo/alt-ergo.2.4.2/opam

···

       15
       15
        
         "alt-ergo-lib" {= version}

     

       16
       16
        
         "alt-ergo-parsers" {= version}

     

       17
       17
        
         "menhir"

     

       18
       18
       -
         "cmdliner" {>= "1.1.0"}

     

       18
       18
       +
         "cmdliner" {>= "1.1.0" & < "2.0"}

     

       19
       19
        
         "odoc" {with-doc}

     

       20
       20
        
       ]

     

       21
       21
        
       dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"

+1 -1

packages/alt-ergo/alt-ergo.2.4.3/opam

···

       16
       16
        
         "alt-ergo-lib" {= version}

     

       17
       17
        
         "alt-ergo-parsers" {= version}

     

       18
       18
        
         "menhir"

     

       19
       19
       -
         "cmdliner" {>= "1.1.0"}

     

       19
       19
       +
         "cmdliner" {>= "1.1.0" & < "2.0"}

     

       20
       20
        
         "odoc" {with-doc}

     

       21
       21
        
       ]

     

       22
       22
        
       dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"

+1 -1

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

···

       18
       18
        
         "alt-ergo-parsers" {= version}

     

       19
       19
        
         "menhir"

     

       20
       20
        
         "dune-site"

     

       21
       21
       -
         "cmdliner" {>= "1.1.0"}

     

       21
       21
       +
         "cmdliner" {>= "1.1.0" & < "2.0"}

     

       22
       22
        
         "odoc" {with-doc}

     

       23
       23
        
       ]

     

       24
       24
        
       conflicts: [

+1 -1

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

···

       16
       16
        
         "alt-ergo-parsers" {= version}

     

       17
       17
        
         "menhir"

     

       18
       18
        
         "dune-site"

     

       19
       19
       -
         "cmdliner" {>= "1.1.0"}

     

       19
       19
       +
         "cmdliner" {>= "1.1.0" & < "2.0"}

     

       20
       20
        
         "odoc" {with-doc}

     

       21
       21
        
       ]

     

       22
       22
        
       build: [

+1 -1

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

···

       16
       16
        
         "alt-ergo-parsers" {= version}

     

       17
       17
        
         "menhir"

     

       18
       18
        
         "dune-site"

     

       19
       19
       -
         "cmdliner" {>= "1.1.0"}

     

       19
       19
       +
         "cmdliner" {>= "1.1.0" & < "2.0"}

     

       20
       20
        
         "odoc" {with-doc}

     

       21
       21
        
       ]

     

       22
       22
        
       build: [

+1 -1

packages/alt-ergo/alt-ergo.2.5.3/opam

···

       16
       16
        
         "alt-ergo-parsers" {= version}

     

       17
       17
        
         "menhir"

     

       18
       18
        
         "dune-site"

     

       19
       19
       -
         "cmdliner" {>= "1.1.0"}

     

       19
       19
       +
         "cmdliner" {>= "1.1.0" & < "2.0"}

     

       20
       20
        
         "odoc" {with-doc}

     

       21
       21
        
       ]

     

       22
       22
        
       build: [

+1 -1

packages/alt-ergo/alt-ergo.2.5.4/opam

···

       16
       16
        
         "alt-ergo-parsers" {= version}

     

       17
       17
        
         "menhir"

     

       18
       18
        
         "dune-site"

     

       19
       19
       -
         "cmdliner" {>= "1.1.0"}

     

       19
       19
       +
         "cmdliner" {>= "1.1.0" & < "2.0"}

     

       20
       20
        
         "odoc" {with-doc}

     

       21
       21
        
       ]

     

       22
       22
        
       build: [

+1 -1

packages/alt-ergo/alt-ergo.2.6.0/opam

···

       16
       16
        
         "alt-ergo-parsers" {= version}

     

       17
       17
        
         "menhir"

     

       18
       18
        
         "dune-site"

     

       19
       19
       -
         "cmdliner" {>= "1.1.0"}

     

       19
       19
       +
         "cmdliner" {>= "1.1.0" & < "2.0"}

     

       20
       20
        
         "odoc" {with-doc}

     

       21
       21
        
       ]

     

       22
       22
        
       build: [