ocaml - opam upgrade wants to downgrade a bunch of packages -
i tried 'opam upgrade' , got (the final summary):
1 install | 59 reinstall | 3 upgrade | 34 downgrade | 0 remove want continue ? [y/n]
downgrading 34 packages makes me nervous. why want this?
some examples of packages wanted downgrade:
- downgrade llvm.3.2 3.1
- downgrade ocamlfind.1.4.0 1.3.3 [required bitstring, camltc, ezjsonm, fat-filesystem, google-drive-ocamlfuse, merlin, mirage-block-xen, mirage-console-xen, mirari, utop]
- downgrade spoc.130624 121217
- downgrade bitstring.2.0.4 2.0.3
downgrade camlzip.1.05 1.04 [required google-drive-ocamlfuse]
downgrade ezjsonm.0.2.0 0.1.0
- downgrade gapi-ocaml.0.2.1 0.2 [required google-drive-ocamlfuse]
- downgrade merlin.1.5 1.3
- downgrade utop.1.10 1.9
of course, makes me kind of nervous, answered 'n'. anyway fix this?
opam version 1.1.0.
edit: figured may post whole result:
$ opam upgrade *the brute-force exploration algorithm timed-out [108 states, 5s]. might need add explicit version constraints request better answer.* following actions performed: - install obuild.0.0.2 [required mirari] - downgrade llvm.3.2 3.1 - downgrade ocamlfind.1.4.0 1.3.3 [required bitstring, camltc, ezjsonm, fat-filesystem, google-drive-ocamlfuse, merlin, mirage-block-xen, mirage-console-xen, mirari, utop] - downgrade spoc.130624 121217 - downgrade bitstring.2.0.4 2.0.3 - downgrade camlzip.1.05 1.04 [required google-drive-ocamlfuse] - recompile camomile.0.8.5 [use ocamlfind] - recompile cmdliner.0.9.2 [use ocamlfind] - downgrade cryptokit.1.9 1.6 [required google-drive-ocamlfuse] - recompile dypgen.20120619-1 [use ocamlfind] - recompile easy-format.1.0.1 [use ocamlfind] - recompile extlib-compat.1.6.1 [use ocamlfind] - downgrade fd-send-recv.1.0.1 1.0.0 [required mirari] - downgrade herelib.109.35.02 109.35.00 [required fat-filesystem, mirage-block-xen, mirage-console-xen] - recompile ipaddr.1.0.0 [use ocamlfind] - recompile lablgtk.2.16.0 [use ocamlfind] - recompile menhir.20130912 [use ocamlfind] - recompile mirage-types.1.0.0 [use ocamlfind] - recompile ocamlfuse.2.7.1-cvs [use ocamlfind] - downgrade ocurl.0.6.0 0.5.5 [required google-drive-ocamlfuse] - recompile omake.0.9.8.6-0.rc1 [use ocamlfind] - recompile omd.0.9.0 [use ocamlfind] - recompile optcomp.1.5 [use ocamlfind] - downgrade ounit.2.0.0 1.1.2 [required camltc, fat-filesystem, mirage-block-xen, mirage-console-xen] - recompile parmap.1.0-rc3 [use ocamlfind] - recompile pipebang.109.28.02 [use ocamlfind] - recompile re.1.2.1 [use ocamlfind] - recompile react.0.9.4 [use ocamlfind] - downgrade res.4.0.4 3.2.0 [required fat-filesystem, mirage-block-xen, mirage-console-xen] - recompile sqlite3-ocaml.2.0.5 [use ocamlfind] - recompile ssl.0.4.6 [use ocamlfind] - downgrade type_conv.109.53.02 109.53.00 [required fat-filesystem, mirage-block-xen, mirage-console-xen] - recompile ulex.1.1 [use ocamlfind] - recompile uutf.0.9.3 [use ocamlfind] - downgrade xmlm.1.2.0 1.1.1 [required google-drive-ocamlfuse] - downgrade biniou.1.0.6 1.0.5 [required google-drive-ocamlfuse, merlin] - recompile tuntap.0.7.0 [use ocamlfind] - recompile ocamldot.1.0 [use ocamlfind] - recompile ocamlgraph.1.8.3 [use ocamlfind] - recompile mirage-clock-unix.1.0.0 [use ocamlfind] - recompile mirage-clock-xen.1.0.0 [use ocamlfind] - downgrade camlimages.4.1.1 4.0.1 - downgrade ocplib-endian.0.4 0.3 [required fat-filesystem, mirage-block-xen, mirage-console-xen] - downgrade uri.1.3.11 1.3.10 - recompile zed.1.2 [use ocamlfind] - downgrade lwt.2.4.4 2.4.3 [required camltc, fat-filesystem, mirage-block-xen, mirage-console-xen, utop] - recompile ocamlnet.3.7.3 [use ocamlfind] - recompile bin_prot.109.53.02 [use ocamlfind] - recompile comparelib.109.27.02 [use ocamlfind] - recompile dyntype.0.9.0 [use ocamlfind] - downgrade fieldslib.109.20.02 109.20.00 [required fat-filesystem, mirage-block-xen, mirage-console-xen] - recompile pa_ounit.109.53.02 [use ocamlfind] - downgrade sexplib.109.55.02 109.55.00 [required fat-filesystem, mirage-block-xen, mirage-console-xen] - downgrade variantslib.109.15.02 109.15.00 [required fat-filesystem, mirage-block-xen, mirage-console-xen] - recompile jsonm.0.9.1 [use ocamlfind] - downgrade yojson.1.1.6 1.0.3 [required google-drive-ocamlfuse, merlin] - downgrade mirari.0.9.7 0.9.3 - recompile patoline.0.1 [use ocamlfind] - upgrade camltc.0.8.1 0.8.2 - downgrade lambda-term.1.5 1.4 [required utop] - recompile cow.0.9.1 [use ocamlfind] - recompile pa_bench.109.55.02 [use ocamlfind] - recompile custom_printf.109.27.02 [use ocamlfind] - recompile typerep.109.55.02 [use ocamlfind] - downgrade ezjsonm.0.2.0 0.1.0 - downgrade gapi-ocaml.0.2.1 0.2 [required google-drive-ocamlfuse] - downgrade merlin.1.5 1.3 - downgrade utop.1.10 1.9 - recompile core_kernel.109.55.02 [use ocamlfind] - downgrade google-drive-ocamlfuse.0.5.2 0.4.4 - recompile pa_test.109.53.02 [use ocamlfind] - recompile core.109.55.02 [use ocamlfind] - recompile async_core.109.55.02 [use ocamlfind] - recompile async_unix.109.55.02 [use ocamlfind] - recompile async_extra.109.55.02 [use ocamlfind] - recompile async.109.53.02 [use ocamlfind] - recompile cstruct.1.0.1 [use ocamlfind] - recompile gen_server.2.0.1 [use ocamlfind] - upgrade cohttp.0.9.14 0.9.16 - recompile io-page-unix.0.9.9 [use ocamlfind] - recompile io-page-xen.0.9.9 [use ocamlfind] - recompile mirage-fs-unix.1.0.0 [use ocamlfind] - downgrade shared-memory-ring.1.0.0 0.4.3 [required mirage-block-xen, mirage-console-xen] - recompile xenstore.1.2.5 [use ocamlfind] - recompile cowabloga.0.0.3 [use ocamlfind] - recompile mirage-http-unix.1.0.0 [use ocamlfind] - downgrade mirage-block-unix.1.2.0 1.1.0 [required fat-filesystem] - recompile mirage-net-unix.1.0.0 [use ocamlfind] - upgrade mirage.1.0.3 1.0.4 - recompile mirage-unix.1.0.0 [use ocamlfind] - recompile mirage-xen.1.0.0 [use ocamlfind] - downgrade fat-filesystem.0.10.0 0.6.2 - recompile mirage-console-unix.1.0.0 [use ocamlfind] - recompile mirage-tcpip-unix.0.9.5 [use ocamlfind] - downgrade mirage-block-xen.1.0.0 0.4.0 - downgrade mirage-console-xen.1.0.1 1.0.0 - recompile mirage-www.1.0.0 [use ocamlfind] 1 install | 59 reinstall | 3 upgrade | 34 downgrade | 0 remove want continue ? [y/n]
long story short: opam has expressive language dependencies several solvers understand. small, simple solver included in opam default bit of hack has these kind of terrible behaviors when pushed around hard. @ point, should install external solver such aspcud
better job.
more details in long mail of roberto di cosmo caml-list last month:
Comments
Post a Comment