+1 -1

packages/archetype/archetype.0.1.10/opam

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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

reviewed

··· 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"