commit 4380b9c75dedc3ad9d950af972a04fed86eec01f · anil.recoil.org/opam-repository

+1 -1

packages/archetype/archetype.0.1.10/opam

···

       28
       28
        
         "digestif" {>= "0.7.2"}

     

       29
       29
        
         "num"

     

       30
       30
        
         "yojson"

     

       31
       31
       -
         "ppx_deriving"

     

       31
       31
       +
         "ppx_deriving" {< "6"}

     

       32
       32
        
         "ppx_deriving_yojson"

     

       33
       33
        
       ]

     

       34
       34
        
       conflicts: [

+1 -1

packages/archetype/archetype.0.1.3/opam

···

       27
       27
        
         "digestif"            { >= "0.7.2" }

     

       28
       28
        
         "why3"                { >= "1.2.0" & < "1.3.0" }

     

       29
       29
        
         "yojson"

     

       30
       30
       -
         "ppx_deriving"

     

       30
       30
       +
         "ppx_deriving" {< "6"}

     

       31
       31
        
         "ppx_deriving_yojson"

     

       32
       32
        
       ]

     

       33
       33

+1 -1

packages/archetype/archetype.0.1.4/opam

···

       27
       27
        
         "digestif"            { >= "0.7.2" }

     

       28
       28
        
         "num"

     

       29
       29
        
         "yojson"

     

       30
       30
       -
         "ppx_deriving"

     

       30
       30
       +
         "ppx_deriving" {< "6"}

     

       31
       31
        
         "ppx_deriving_yojson"

     

       32
       32
        
       ]

     

       33
       33

+1 -1

packages/archetype/archetype.0.1.5/opam

···

       27
       27
        
         "digestif"            { >= "0.7.2" }

     

       28
       28
        
         "num"

     

       29
       29
        
         "yojson"

     

       30
       30
       -
         "ppx_deriving"

     

       30
       30
       +
         "ppx_deriving" {< "6"}

     

       31
       31
        
         "ppx_deriving_yojson"

     

       32
       32
        
       ]

     

       33
       33

+1 -1

packages/archetype/archetype.0.1.6/opam

···

       27
       27
        
         "digestif"            { >= "0.7.2" }

     

       28
       28
        
         "num"

     

       29
       29
        
         "yojson"

     

       30
       30
       -
         "ppx_deriving"

     

       30
       30
       +
         "ppx_deriving" {< "6"}

     

       31
       31
        
         "ppx_deriving_yojson"

     

       32
       32
        
       ]

     

       33
       33

+1 -1

packages/archetype/archetype.0.1.8/opam

···

       27
       27
        
         "digestif"            { >= "0.7.2" }

     

       28
       28
        
         "num"

     

       29
       29
        
         "yojson"

     

       30
       30
       -
         "ppx_deriving"

     

       30
       30
       +
         "ppx_deriving" {< "6"}

     

       31
       31
        
         "ppx_deriving_yojson"

     

       32
       32
        
       ]

     

       33
       33

+1 -1

packages/archetype/archetype.0.1.9/opam

···

       28
       28
        
         "digestif" {>= "0.7.2"}

     

       29
       29
        
         "num"

     

       30
       30
        
         "yojson"

     

       31
       31
       -
         "ppx_deriving"

     

       31
       31
       +
         "ppx_deriving" {< "6"}

     

       32
       32
        
         "ppx_deriving_yojson"

     

       33
       33
        
       ]

     

       34
       34
        
       conflicts: [

+1 -1

packages/coq-serapi/coq-serapi.8.10.0+0.7.0/opam

···

       30
       30
        
         "sexplib"             {           >= "v0.11.0" & < "v0.15" }

     

       31
       31
        
         "dune"                {           >= "1.2.0"             }

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"             }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.11.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"             }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"               }

+1 -1

packages/coq-serapi/coq-serapi.8.10.0+0.7.1/opam

···

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

     

       31
       31
        
         "dune"                {           >= "1.4.0"             }

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"             }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.11.0"           }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"             }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"               }

+1 -1

packages/coq-serapi/coq-serapi.8.10.0+0.7.2/opam

···

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

     

       31
       31
        
         "dune"                {           >= "1.4.0"             }

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"             }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.11.0"           }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"             }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"               }

+1 -1

packages/coq-serapi/coq-serapi.8.11.0+0.11.0/opam

···

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

     

       31
       31
        
         "dune"                {           >= "1.2.0"               }

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.11.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.14" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.12.0+0.12.0/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.14" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.12.0+0.12.1/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.13.0+0.13.0/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.13.0+0.13.1/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.14.0+0.14.0/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.15.0+0.15.1/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.15.0+0.15.2/opam

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv" {>= "v0.13.0" & < "v0.16.0"}

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

     

       36
       36
        
         "ppx_deriving_yojson" {           >= "3.4"                 }

+1 -1

packages/coq-serapi/coq-serapi.8.15.0+0.15.3/opam

···

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

     

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

     

       32
       32
        
         "ppx_import"          { >= "1.5-3"               }

     

       33
       33
       -
         "ppx_deriving"        { >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       { >= "v0.13.0" & < "v0.16" }

     

       35
       35
        
         "ppx_compare"         { >= "v0.13.0" & < "v0.16" }

     

       36
       36
        
         "ppx_hash"            { >= "v0.13.0" & < "v0.16" }

+1 -1

packages/coq-serapi/coq-serapi.8.15.0+0.15.4/opam

···

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

     

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

     

       32
       32
        
         "ppx_import"          {  >= "1.5-3"               }

     

       33
       33
       -
         "ppx_deriving"        {  >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {  >= "v0.13.0" & < "v0.16" }

     

       35
       35
        
         "ppx_compare"         {  >= "v0.13.0" & < "v0.16" }

     

       36
       36
        
         "ppx_hash"            {  >= "v0.13.0" & < "v0.16" }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv" {>= "v0.13.0" & < "v0.16.0"}

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv" {>= "v0.13.0" & < "v0.16.0"}

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv" {>= "v0.13.0" & < "v0.16.0"}

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv" {>= "v0.13.0" & < "v0.16.0"}

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        { >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv" {>= "v0.13.0" & < "v0.16.0"}

     

       35
       35
        
         "ppx_compare"         { >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            { >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

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

···

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

     

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

     

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

     

       33
       33
       -
         "ppx_deriving"        {           >= "4.2.1"               }

     

       33
       33
       +
         "ppx_deriving" {>= "4.2.1" & < "6"}

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0"             }

     

       35
       35
        
         "ppx_compare"         {           >= "v0.13.0"             }

     

       36
       36
        
         "ppx_hash"            {           >= "v0.13.0"             }

+1 -1

packages/current/current.0.2/opam

···

       26
       26
        
         "current_incr" {= version}

     

       27
       27
        
         "fmt" {>= "0.8.7"}

     

       28
       28
        
         "bos"

     

       29
       29
       -
         "ppx_deriving"

     

       29
       29
       +
         "ppx_deriving" {< "6"}

     

       30
       30
        
         "lwt" {>= "4.3.0"}

     

       31
       31
        
         "cmdliner"

     

       32
       32
        
         "sqlite3"

+1 -1

packages/current/current.0.3/opam

···

       26
       26
        
         "current_incr" {= version}

     

       27
       27
        
         "fmt" {>= "0.8.7"}

     

       28
       28
        
         "bos"

     

       29
       29
       -
         "ppx_deriving"

     

       29
       29
       +
         "ppx_deriving" {< "6"}

     

       30
       30
        
         "lwt" {>= "4.3.0"}

     

       31
       31
        
         "cmdliner"

     

       32
       32
        
         "sqlite3"

+1 -1

packages/pkcs11/pkcs11.0.1.0/opam

···

       19
       19
        
         "ctypes-foreign" {>= "0.4.0"}

     

       20
       20
        
         "hex" {>= "1.0.0"}

     

       21
       21
        
         "key-parsers" {>= "0.5.0"}

     

       22
       22
       -
         "ppx_deriving" {>= "4.0"}

     

       22
       22
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       23
       23
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       24
       24
        
         "records" {>= "0.6.0"}

     

       25
       25
        
         "ocamlbuild" {build}

+1 -1

packages/pkcs11/pkcs11.0.10.0/opam

···

       37
       37
        
         "ocaml" {>= "4.02.0"}

     

       38
       38
        
         "hex" {>= "1.0.0"}

     

       39
       39
        
         "integers" {< "0.5.0"}

     

       40
       40
       -
         "ppx_deriving" {>= "4.0"}

     

       40
       40
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       41
       41
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       42
       42
        
         "yojson" {< "2.0.0"}

     

       43
       43
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.0.11.0/opam

···

       37
       37
        
         "ocaml" {>= "4.02.0"}

     

       38
       38
        
         "hex" {>= "1.0.0"}

     

       39
       39
        
         "integers" {< "0.5.0"}

     

       40
       40
       -
         "ppx_deriving" {>= "4.0"}

     

       40
       40
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       41
       41
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       42
       42
        
         "yojson" {< "2.0.0"}

     

       43
       43
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.0.12.0/opam

···

       37
       37
        
         "ocaml" {>= "4.03.0"}

     

       38
       38
        
         "hex" {>= "1.0.0"}

     

       39
       39
        
         "integers" {< "0.5.0"}

     

       40
       40
       -
         "ppx_deriving" {>= "4.0"}

     

       40
       40
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       41
       41
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       42
       42
        
         "yojson" {< "2.0.0"}

     

       43
       43
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.0.13.0/opam

···

       37
       37
        
         "ocaml" {>= "4.03.0"}

     

       38
       38
        
         "hex" {>= "1.0.0"}

     

       39
       39
        
         "integers" {< "0.5.0"}

     

       40
       40
       -
         "ppx_deriving" {>= "4.0"}

     

       40
       40
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       41
       41
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       42
       42
        
         "yojson" {< "2.0.0"}

     

       43
       43
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.0.14.0/opam

···

       37
       37
        
         "ocaml" {>= "4.03.0"}

     

       38
       38
        
         "hex" {>= "1.0.0"}

     

       39
       39
        
         "integers" {< "0.5.0"}

     

       40
       40
       -
         "ppx_deriving" {>= "4.0"}

     

       40
       40
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       41
       41
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       42
       42
        
         "yojson" {< "2.0.0"}

     

       43
       43
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.0.15.0/opam

···

       37
       37
        
         "ocaml" {>= "4.03.0"}

     

       38
       38
        
         "hex" {>= "1.0.0"}

     

       39
       39
        
         "integers" {< "0.5.0"}

     

       40
       40
       -
         "ppx_deriving" {>= "4.0"}

     

       40
       40
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       41
       41
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       42
       42
        
         "yojson" {< "2.0.0"}

     

       43
       43
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.0.16.0/opam

···

       37
       37
        
         "ocaml" {>= "4.03.0"}

     

       38
       38
        
         "hex" {>= "1.0.0"}

     

       39
       39
        
         "integers" {< "0.5.0"}

     

       40
       40
       -
         "ppx_deriving" {>= "4.0"}

     

       40
       40
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       41
       41
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       42
       42
        
         "yojson" {< "2.0.0"}

     

       43
       43
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.0.17.0/opam

···

       37
       37
        
         "ocaml" {>= "4.03.0"}

     

       38
       38
        
         "hex" {>= "1.0.0"}

     

       39
       39
        
         "integers" {< "0.5.0"}

     

       40
       40
       -
         "ppx_deriving" {>= "4.0"}

     

       40
       40
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       41
       41
        
         "ppx_deriving_yojson" {>= "3.0"}

     

       42
       42
        
         "yojson" {< "2.0.0"}

     

       43
       43
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.0.17.1/opam

···

       25
       25
        
       depends: [

     

       26
       26
        
         "hex" { >= "1.0.0" }

     

       27
       27
        
         "integers" {< "0.5.0"}

     

       28
       28
       -
         "ppx_deriving" { >= "4.0" }

     

       28
       28
       +
         "ppx_deriving" {>= "4.0" & < "6"}

     

       29
       29
        
         "ppx_deriving_yojson" { >= "3.0" }

     

       30
       30
        
         "yojson" {< "2.0.0"}

     

       31
       31
        
         "ppx_variants_conv"

+1 -1

packages/pkcs11/pkcs11.0.18.0/opam

···

       16
       16
        
         "dune" {>= "1.3.0"}

     

       17
       17
        
         "hex" { >= "1.0.0" }

     

       18
       18
        
         "integers" {< "0.5.0"}

     

       19
       19
       -
         "ppx_deriving" { >= "4.2" }

     

       19
       19
       +
         "ppx_deriving" {>= "4.2" & < "6"}

     

       20
       20
        
         "ppx_deriving_yojson" { >= "3.2" }

     

       21
       21
        
         "yojson" {< "2.0.0"}

     

       22
       22
        
         "ppx_variants_conv"

+1 -1

packages/pkcs11/pkcs11.1.0.0/opam

···

       16
       16
        
         "dune" {>= "1.3.0"}

     

       17
       17
        
         "hex" { >= "1.0.0" }

     

       18
       18
        
         "integers" {< "0.5.0"}

     

       19
       19
       -
         "ppx_deriving" { >= "4.2" }

     

       19
       19
       +
         "ppx_deriving" {>= "4.2" & < "6"}

     

       20
       20
        
         "ppx_deriving_yojson" { >= "3.4" }

     

       21
       21
        
         "ppx_variants_conv"

     

       22
       22
        
         "zarith"

+1 -1

packages/pkcs11/pkcs11.1.0.1/opam

···

       16
       16
        
         "dune" {>= "2.0.0"}

     

       17
       17
        
         "hex" { >= "1.0.0" }

     

       18
       18
        
         "integers"

     

       19
       19
       -
         "ppx_deriving" { >= "4.2" }

     

       19
       19
       +
         "ppx_deriving" {>= "4.2" & < "6"}

     

       20
       20
        
         "ppx_deriving_yojson" { >= "3.4" }

     

       21
       21
        
         "ppx_variants_conv"

     

       22
       22
        
         "zarith"