{"action":"created","issue":{"url":"https://api.github.com/repos/coq/opam-coq-archive/issues/17","labels_url":"https://api.github.com/repos/coq/opam-coq-archive/issues/17/labels{/name}","comments_url":"https://api.github.com/repos/coq/opam-coq-archive/issues/17/comments","events_url":"https://api.github.com/repos/coq/opam-coq-archive/issues/17/events","html_url":"https://github.com/coq/opam-coq-archive/issues/17","id":114623502,"number":17,"title":"Coq beta in released","user":{"login":"clarus","id":316665,"avatar_url":"https://avatars.githubusercontent.com/u/316665?v=3","gravatar_id":"","url":"https://api.github.com/users/clarus","html_url":"https://github.com/clarus","followers_url":"https://api.github.com/users/clarus/followers","following_url":"https://api.github.com/users/clarus/following{/other_user}","gists_url":"https://api.github.com/users/clarus/gists{/gist_id}","starred_url":"https://api.github.com/users/clarus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/clarus/subscriptions","organizations_url":"https://api.github.com/users/clarus/orgs","repos_url":"https://api.github.com/users/clarus/repos","events_url":"https://api.github.com/users/clarus/events{/privacy}","received_events_url":"https://api.github.com/users/clarus/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":10,"created_at":"2015-11-02T15:58:11Z","updated_at":"2015-11-03T00:04:35Z","closed_at":null,"body":"Should we keep Coq `8.5~beta2` in the `released` directory?"},"comment":{"url":"https://api.github.com/repos/coq/opam-coq-archive/issues/comments/153197949","html_url":"https://github.com/coq/opam-coq-archive/issues/17#issuecomment-153197949","issue_url":"https://api.github.com/repos/coq/opam-coq-archive/issues/17","id":153197949,"user":{"login":"clarus","id":316665,"avatar_url":"https://avatars.githubusercontent.com/u/316665?v=3","gravatar_id":"","url":"https://api.github.com/users/clarus","html_url":"https://github.com/clarus","followers_url":"https://api.github.com/users/clarus/followers","following_url":"https://api.github.com/users/clarus/following{/other_user}","gists_url":"https://api.github.com/users/clarus/gists{/gist_id}","starred_url":"https://api.github.com/users/clarus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/clarus/subscriptions","organizations_url":"https://api.github.com/users/clarus/orgs","repos_url":"https://api.github.com/users/clarus/repos","events_url":"https://api.github.com/users/clarus/events{/privacy}","received_events_url":"https://api.github.com/users/clarus/received_events","type":"User","site_admin":false},"created_at":"2015-11-03T00:04:35Z","updated_at":"2015-11-03T00:04:35Z","body":"> I thought python for example had several version installed almost everywhere because of heavy incompatibilites.\r\n\r\nWhat do you mean by that?\r\n\r\n> I do not consider as a minor point the fact that people seeking stability do have stability.\r\n\r\nI agree with that.\r\n\r\n> Anyway stable-vx.x is what we want for them.\r\n\r\nIt depends on what kind of stability we mean. When you do not upgrade, or when the dependencies are well stated, the `released` repository provides a stable installation."}}