commit 1763807fe19ca15390e75f8cf07277211816c133 · anil.recoil.org/opam-repository

+1 -1

packages/coq-serapi/coq-serapi.8.16.0+0.16.0/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.16" & < "8.17"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.16.0+0.16.1/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.16" & < "8.17"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.16.0+0.16.2/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.16" & < "8.17"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.16.0+0.16.3/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.16" & < "8.17"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.17.0+0.17.0/opam

···

       26
       26
        
         "ocaml"               { >= "4.09.0"              }

     

       27
       27
        
         "coq"                 { >= "8.17" & < "8.18"     }

     

       28
       28
        
         "cmdliner"            { >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           { >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             { >= "v0.13.0"             }

     

       31
       31
        
         "dune"                { >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.17.0+0.17.1/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.17" & < "8.18"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.17.0+0.17.2/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.17" & < "8.18"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.17.0+0.17.3/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.17" & < "8.18"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.18.0+0.18.1/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.18" & < "8.19"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.18.0+0.18.2/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.18" & < "8.19"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.18.0+0.18.3/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.18" & < "8.19"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.19.0+0.19.0/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.19" & < "8.20"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.19.0+0.19.1/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.19" & < "8.20"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.19.0+0.19.2/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.19" & < "8.20"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }

+1 -1

packages/coq-serapi/coq-serapi.8.19.0+0.19.3/opam

···

       26
       26
        
         "ocaml"               {           >= "4.09.0"              }

     

       27
       27
        
         "coq"                 {           >= "8.19" & < "8.20"     }

     

       28
       28
        
         "cmdliner"            {           >= "1.1.0"               }

     

       29
       29
       -
         "ocamlfind"           {           >= "1.8.0"               }

     

       29
       29
       +
         "ocamlfind" {>= "1.8.0" & < "1.9.8"}

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
        
         "ppx_import"          { build   & >= "1.5-3" & < "2.0"     }