+1
-1
packages/aez/aez.0.3/opam
+1
-1
packages/aez/aez.0.3/opam
+4
-1
packages/aio/aio.0.0.3/opam
+4
-1
packages/aio/aio.0.0.3/opam
+1
-1
packages/alba/alba.0.4.0/opam
+1
-1
packages/alba/alba.0.4.0/opam
+1
-1
packages/alba/alba.0.4.1/opam
+1
-1
packages/alba/alba.0.4.1/opam
+1
-1
packages/alba/alba.0.4.2/opam
+1
-1
packages/alba/alba.0.4.2/opam
+1
-1
packages/alba/alba.0.4.3/opam
+1
-1
packages/alba/alba.0.4.3/opam
+1
-1
packages/alt-ergo-free/alt-ergo-free.2.2.0/opam
+1
-1
packages/alt-ergo-free/alt-ergo-free.2.2.0/opam
+1
-1
packages/alt-ergo/alt-ergo.0.95.2/opam
+1
-1
packages/alt-ergo/alt-ergo.0.95.2/opam
+1
-1
packages/alt-ergo/alt-ergo.0.99.1/opam
+1
-1
packages/alt-ergo/alt-ergo.0.99.1/opam
+5
-1
packages/alt-ergo/alt-ergo.1.01/opam
+5
-1
packages/alt-ergo/alt-ergo.1.01/opam
···messages: [ "This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements" ]
+1
-1
packages/cairo2/cairo2.0.5/opam
+1
-1
packages/cairo2/cairo2.0.5/opam
+1
-1
packages/captureio/captureio.0.1.1/opam
+1
-1
packages/captureio/captureio.0.1.1/opam
+1
-1
packages/captureio/captureio.0.1.2/opam
+1
-1
packages/captureio/captureio.0.1.2/opam
+1
-1
packages/caqti/caqti.1.0.0/opam
+1
-1
packages/caqti/caqti.1.0.0/opam
+1
-1
packages/caqti/caqti.1.1.0/opam
+1
-1
packages/caqti/caqti.1.1.0/opam
+1
-1
packages/cconv/cconv.0.2/opam
+1
-1
packages/cconv/cconv.0.2/opam
+1
-1
packages/cconv/cconv.0.3.1/opam
+1
-1
packages/cconv/cconv.0.3.1/opam
+1
-1
packages/cconv/cconv.0.3/opam
+1
-1
packages/cconv/cconv.0.3/opam
+1
-1
packages/cconv/cconv.0.4/opam
+1
-1
packages/cconv/cconv.0.4/opam
+1
-1
packages/fmlib_parse/fmlib_parse.0.5.0/opam
+1
-1
packages/fmlib_parse/fmlib_parse.0.5.0/opam
+1
-1
packages/fmlib_parse/fmlib_parse.0.5.1/opam
+1
-1
packages/fmlib_parse/fmlib_parse.0.5.1/opam
+1
-1
packages/fsml/fsml.0.2.1/opam
+1
-1
packages/fsml/fsml.0.2.1/opam
+1
-1
packages/fsml/fsml.0.3.0/opam
+1
-1
packages/fsml/fsml.0.3.0/opam
+1
-1
packages/fstreams/fstreams.0.2.1/opam
+1
-1
packages/fstreams/fstreams.0.2.1/opam
+1
-1
packages/functory/functory.0.6/opam
+1
-1
packages/functory/functory.0.6/opam
+1
-1
packages/gadelac/gadelac.0.6.1/opam
+1
-1
packages/gadelac/gadelac.0.6.1/opam
+1
-1
packages/gbddml/gbddml.2.71.10/opam
+1
-1
packages/gbddml/gbddml.2.71.10/opam
+1
-1
packages/gen-bs/gen-bs.0.0.0/opam
+1
-1
packages/gen-bs/gen-bs.0.0.0/opam
+1
-1
packages/geoip/geoip.0.0.3/opam
+1
-1
packages/geoip/geoip.0.0.3/opam
+1
-1
packages/getopt/getopt.20120615/opam
+1
-1
packages/getopt/getopt.20120615/opam
+1
-1
packages/glMLite/glMLite.0.03.53/opam
+1
-1
packages/glMLite/glMLite.0.03.53/opam
+1
-1
packages/gles3/gles3.20160307.alpha/opam
+1
-1
packages/gles3/gles3.20160307.alpha/opam
+1
-1
packages/glicko2/glicko2.1.0.0/opam
+1
-1
packages/glicko2/glicko2.1.0.0/opam
+1
-1
packages/gsl/gsl.1.18.5/opam
+1
-1
packages/gsl/gsl.1.18.5/opam
+1
-1
packages/gsl/gsl.1.19.1/opam
+1
-1
packages/gsl/gsl.1.19.1/opam
+1
-1
packages/gsl/gsl.1.19.3/opam
+1
-1
packages/gsl/gsl.1.19.3/opam
+1
-1
packages/gsl/gsl.1.20.0/opam
+1
-1
packages/gsl/gsl.1.20.0/opam
+1
-1
packages/gsl/gsl.1.20.2/opam
+1
-1
packages/gsl/gsl.1.20.2/opam
+1
-1
packages/gsl/gsl.1.21.0/opam
+1
-1
packages/gsl/gsl.1.21.0/opam
+1
-1
packages/gsl/gsl.1.22.0/opam
+1
-1
packages/gsl/gsl.1.22.0/opam
+1
-1
packages/gsl/gsl.1.24.0/opam
+1
-1
packages/gsl/gsl.1.24.0/opam
+1
-1
packages/gsl/gsl.1.24.1/opam
+1
-1
packages/gsl/gsl.1.24.1/opam
+1
-1
packages/gsl/gsl.1.24.2/opam
+1
-1
packages/gsl/gsl.1.24.2/opam
+1
-1
packages/h2/h2.0.6.1/opam
+1
-1
packages/h2/h2.0.6.1/opam
+1
-1
packages/hacl_x25519/hacl_x25519.0.1.0/opam
+1
-1
packages/hacl_x25519/hacl_x25519.0.1.0/opam
+1
-1
packages/hamt/hamt.1.0.0/opam
+1
-1
packages/hamt/hamt.1.0.0/opam
+1
-1
packages/hdfs/hdfs.0.1/opam
+1
-1
packages/hdfs/hdfs.0.1/opam
+1
-1
packages/hdfs/hdfs.0.3/opam
+1
-1
packages/hdfs/hdfs.0.3/opam
+1
-1
packages/hdfs/hdfs.0.4/opam
+1
-1
packages/hdfs/hdfs.0.4/opam
+1
-1
packages/inquire/inquire.0.2.1/opam
+1
-1
packages/inquire/inquire.0.2.1/opam
+1
-1
packages/interval_intel/interval_intel.1.5.1/opam
+1
-1
packages/interval_intel/interval_intel.1.5.1/opam
+1
-1
packages/interval_intel/interval_intel.1.5/opam
+1
-1
packages/interval_intel/interval_intel.1.5/opam
+1
-1
packages/inuit/inuit.0.4/opam
+1
-1
packages/inuit/inuit.0.4/opam
+1
-1
packages/itv-tree/itv-tree.2.1/opam
+1
-1
packages/itv-tree/itv-tree.2.1/opam
+1
-1
packages/javalib/javalib.3.1.1/opam
+1
-1
packages/javalib/javalib.3.1.1/opam
+1
-1
packages/javalib/javalib.3.2.1/opam
+1
-1
packages/javalib/javalib.3.2.1/opam
+1
-1
packages/javalib/javalib.3.2/opam
+1
-1
packages/javalib/javalib.3.2/opam
+1
-1
packages/jingoo/jingoo.1.2.16/opam
+1
-1
packages/jingoo/jingoo.1.2.16/opam
+1
-1
packages/jingoo/jingoo.1.2.17/opam
+1
-1
packages/jingoo/jingoo.1.2.17/opam
+1
-1
packages/jingoo/jingoo.1.2.18/opam
+1
-1
packages/jingoo/jingoo.1.2.18/opam
+1
-1
packages/json-rpc/json-rpc.0.5.0-0/opam
+1
-1
packages/json-rpc/json-rpc.0.5.0-0/opam
+1
-1
packages/jsonxt/jsonxt.1.0.0/opam
+1
-1
packages/jsonxt/jsonxt.1.0.0/opam
···
+2
-2
packages/jsonxt/jsonxt.1.0.1/opam
+2
-2
packages/jsonxt/jsonxt.1.0.1/opam
······"sha512=4ca7c252d8cd3d3eb39f8094d16c7e1b14968ab61b314c1937248209785bedf434c2b422eb5961d896a41cd70565f9675f11f26b2ccc4e1e34c30260eed5d97b"
+1
-1
packages/junit/junit.0.1/opam
+1
-1
packages/junit/junit.0.1/opam
+1
-1
packages/kaputt/kaputt.1.2/opam
+1
-1
packages/kaputt/kaputt.1.2/opam