{"action":"opened","issue":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/4805","labels_url":"https://api.github.com/repos/ocaml/opam-repository/issues/4805/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam-repository/issues/4805/comments","events_url":"https://api.github.com/repos/ocaml/opam-repository/issues/4805/events","html_url":"https://github.com/ocaml/opam-repository/issues/4805","id":106024265,"number":4805,"title":"why 2.35 does not compile with why3 0.86","user":{"login":"jnarboux","id":1147773,"avatar_url":"https://avatars.githubusercontent.com/u/1147773?v=3","gravatar_id":"","url":"https://api.github.com/users/jnarboux","html_url":"https://github.com/jnarboux","followers_url":"https://api.github.com/users/jnarboux/followers","following_url":"https://api.github.com/users/jnarboux/following{/other_user}","gists_url":"https://api.github.com/users/jnarboux/gists{/gist_id}","starred_url":"https://api.github.com/users/jnarboux/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jnarboux/subscriptions","organizations_url":"https://api.github.com/users/jnarboux/orgs","repos_url":"https://api.github.com/users/jnarboux/repos","events_url":"https://api.github.com/users/jnarboux/events{/privacy}","received_events_url":"https://api.github.com/users/jnarboux/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-09-11T14:43:26Z","updated_at":"2015-09-11T14:43:26Z","closed_at":null,"body":"I am using opam 1.2.2.\r\n\r\nThe problem is that why 0.86.1 is not recognized as newer than 0.84.\r\nHere are the details:\r\n\r\nopam install why\r\nThe following actions will be performed:\r\n  ∗  install why 2.35\r\n\r\n=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n[why] Archive in cache\r\n\r\n=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\r\n[ERROR] The compilation of why failed at \"./configure --prefix\r\n        /adhome/n/na/narboux/.opam/system\".\r\n\r\n#=== ERROR while installing why.2.35 ==========================================#\r\n# opam-version 1.2.2\r\n# os           linux\r\n# command      ./configure --prefix /adhome/n/na/narboux/.opam/system\r\n# path         /adhome/n/na/narboux/.opam/system/build/why.2.35\r\n# compiler     system (4.02.3)\r\n# exit-code    1\r\n# env-file     /adhome/n/na/narboux/.opam/system/build/why.2.35/why-28166-6d07ae.env\r\n# stdout-file  /adhome/n/na/narboux/.opam/system/build/why.2.35/why-28166-6d07ae.out\r\n# stderr-file  /adhome/n/na/narboux/.opam/system/build/why.2.35/why-28166-6d07ae.err\r\n### stdout ###\r\n# [...]\r\n# checking for ocamldoc... ocamldoc\r\n# checking for ocamldoc.opt... ocamldoc.opt\r\n# ocamlfind found ocamlgraph in /adhome/n/na/narboux/.opam/system/lib/ocamlgraph\r\n# checking for ocamlweb... true\r\n# checking for frama-c... /adhome/n/na/narboux/.opam/system/bin/frama-c\r\n# checking Frama-c version... Sodium-20150201\r\n# checking for camlp4o... camlp4o\r\n# checking camlp4 version... ok\r\n# checking for why3... /adhome/n/na/narboux/.opam/system/bin/why3\r\n# checking Why3 version... 0.86.1\r\n### stderr ###\r\n# configure: error: version 0.86.1 too old\r\n"}}