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:

external dependency solvers opam


Comments

Popular posts from this blog

python - Subclassed QStyledItemDelegate ignores Stylesheet -

java - HttpClient 3.1 Connection pooling vs HttpClient 4.3.2 -

SQL: Divide the sum of values in one table with the count of rows in another -