fork download
  1. (* your code goes here *)lambda13 ~$ opam upgrade --verbose
  2. Everything as up-to-date as possible.
  3. The following newer versions couldn't be installed:
  4. - camlp4.4.03 is not available because your system doesn't comply with ocaml-version >= "4.03".
  5. - ocamlbuild.0.9.0 is not available because your system doesn't comply with ocaml-version >= "4.03".
  6. The following would require downgrades or uninstalls, but you may upgrade them explicitly:
  7. - async.113.24.00
  8. - async_extra.113.24.00
  9. - async_kernel.113.24.00
  10. - async_rpc_kernel.113.24.00
  11. - async_unix.113.24.00
  12. - bin_prot.113.24.00
  13. - coq.8.5.0
  14. - coq-color.1.2.0
  15. - coq-ext-lib.1.0.0~beta2
  16. - core.113.24.00
  17. - core_extended.113.24.00
  18. - core_kernel.113.24.00
  19. - email_message.113.24.00
  20. - fieldslib.113.24.00
  21. - re2.113.24.00
  22. - sexplib.113.24.00
  23. - textutils.113.24.00
  24. - typerep.113.24.00
  25. - variantslib.113.24.00
  26. lambda13 ~$
Not running #stdin #stdout 0s 0KB
stdin
Standard input is empty
stdout
Standard output is empty