(* your code goes here *)lambda13 ~$ opam upgrade --verbose
Everything as up-to-date as possible.
The following newer versions couldn't be installed:
- camlp4.4.03 is not available because your system doesn't comply with ocaml-version >= "4.03".
- ocamlbuild.0.9.0 is not available because your system doesn't comply with ocaml-version >= "4.03".
The following would require downgrades or uninstalls, but you may upgrade them explicitly:
- async.113.24.00
- async_extra.113.24.00
- async_kernel.113.24.00
- async_rpc_kernel.113.24.00
- async_unix.113.24.00
- bin_prot.113.24.00
- coq.8.5.0
- coq-color.1.2.0
- coq-ext-lib.1.0.0~beta2
- core.113.24.00
- core_extended.113.24.00
- core_kernel.113.24.00
- email_message.113.24.00
- fieldslib.113.24.00
- re2.113.24.00
- sexplib.113.24.00
- textutils.113.24.00
- typerep.113.24.00
- variantslib.113.24.00
lambda13 ~$
KCogeW91ciBjb2RlIGdvZXMgaGVyZSAqKWxhbWJkYTEzIH4kIG9wYW0gdXBncmFkZSAtLXZlcmJvc2UKRXZlcnl0aGluZyBhcyB1cC10by1kYXRlIGFzIHBvc3NpYmxlLgpUaGUgZm9sbG93aW5nIG5ld2VyIHZlcnNpb25zIGNvdWxkbid0IGJlIGluc3RhbGxlZDoKICAtIGNhbWxwNC40LjAzIGlzIG5vdCBhdmFpbGFibGUgYmVjYXVzZSB5b3VyIHN5c3RlbSBkb2Vzbid0IGNvbXBseSB3aXRoIG9jYW1sLXZlcnNpb24gPj0gIjQuMDMiLgogIC0gb2NhbWxidWlsZC4wLjkuMCBpcyBub3QgYXZhaWxhYmxlIGJlY2F1c2UgeW91ciBzeXN0ZW0gZG9lc24ndCBjb21wbHkgd2l0aCBvY2FtbC12ZXJzaW9uID49ICI0LjAzIi4KVGhlIGZvbGxvd2luZyB3b3VsZCByZXF1aXJlIGRvd25ncmFkZXMgb3IgdW5pbnN0YWxscywgYnV0IHlvdSBtYXkgdXBncmFkZSB0aGVtIGV4cGxpY2l0bHk6CiAgLSBhc3luYy4xMTMuMjQuMDAKICAtIGFzeW5jX2V4dHJhLjExMy4yNC4wMAogIC0gYXN5bmNfa2VybmVsLjExMy4yNC4wMAogIC0gYXN5bmNfcnBjX2tlcm5lbC4xMTMuMjQuMDAKICAtIGFzeW5jX3VuaXguMTEzLjI0LjAwCiAgLSBiaW5fcHJvdC4xMTMuMjQuMDAKICAtIGNvcS44LjUuMAogIC0gY29xLWNvbG9yLjEuMi4wCiAgLSBjb3EtZXh0LWxpYi4xLjAuMH5iZXRhMgogIC0gY29yZS4xMTMuMjQuMDAKICAtIGNvcmVfZXh0ZW5kZWQuMTEzLjI0LjAwCiAgLSBjb3JlX2tlcm5lbC4xMTMuMjQuMDAKICAtIGVtYWlsX21lc3NhZ2UuMTEzLjI0LjAwCiAgLSBmaWVsZHNsaWIuMTEzLjI0LjAwCiAgLSByZTIuMTEzLjI0LjAwCiAgLSBzZXhwbGliLjExMy4yNC4wMAogIC0gdGV4dHV0aWxzLjExMy4yNC4wMAogIC0gdHlwZXJlcC4xMTMuMjQuMDAKICAtIHZhcmlhbnRzbGliLjExMy4yNC4wMApsYW1iZGExMyB+JA==