{"action":"created","issue":{"url":"https://api.github.com/repos/fsmith1024/scales/issues/2","labels_url":"https://api.github.com/repos/fsmith1024/scales/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/fsmith1024/scales/issues/2/comments","events_url":"https://api.github.com/repos/fsmith1024/scales/issues/2/events","html_url":"https://github.com/fsmith1024/scales/issues/2","id":130016631,"number":2,"title":"An OPAM package for scales","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":1,"created_at":"2016-01-30T17:36:49Z","updated_at":"2016-01-30T18:06:15Z","closed_at":null,"body":"Hi,\r\n\r\nWould it makes sense to add the `scales` development on the [OPAM repository for Coq](http://coq.io/opam/)? OPAM is a package manager aiming to simplify the distribution of Coq formalizations, by automatically downloading and installing a package in the right environment (right version of Coq + other dependencies).\r\n\r\nGuillaume"},"comment":{"url":"https://api.github.com/repos/fsmith1024/scales/issues/comments/177263466","html_url":"https://github.com/fsmith1024/scales/issues/2#issuecomment-177263466","issue_url":"https://api.github.com/repos/fsmith1024/scales/issues/2","id":177263466,"user":{"login":"fsmith1024","id":8742894,"avatar_url":"https://avatars.githubusercontent.com/u/8742894?v=3","gravatar_id":"","url":"https://api.github.com/users/fsmith1024","html_url":"https://github.com/fsmith1024","followers_url":"https://api.github.com/users/fsmith1024/followers","following_url":"https://api.github.com/users/fsmith1024/following{/other_user}","gists_url":"https://api.github.com/users/fsmith1024/gists{/gist_id}","starred_url":"https://api.github.com/users/fsmith1024/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fsmith1024/subscriptions","organizations_url":"https://api.github.com/users/fsmith1024/orgs","repos_url":"https://api.github.com/users/fsmith1024/repos","events_url":"https://api.github.com/users/fsmith1024/events{/privacy}","received_events_url":"https://api.github.com/users/fsmith1024/received_events","type":"User","site_admin":false},"created_at":"2016-01-30T18:06:15Z","updated_at":"2016-01-30T18:06:15Z","body":"Hi Guillaume,\n\nThat is funny.  I am just in the middle of switching my setup from HomeBrew\nto OPAM.\n\nI'd be happy to make Scales available but it is such a niche toy project\nthat I am not sure anybody would want it.  It also isn't all that\npolished.  The Makefile needs some work for example to work reliably.\n\nDo you have an interest in the project?  How would you use it?\n\nThanks,\n\nFred\n\nOn Sat, Jan 30, 2016 at 12:36 PM, Guillaume Claret <notifications@github.com\n> wrote:\n\n> Hi,\n>\n> Would it makes sense to add the scales development on the OPAM repository\n> for Coq <http://coq.io/opam/>? OPAM is a package manager aiming to\n> simplify the distribution of Coq formalizations, by automatically\n> downloading and installing a package in the right environment (right\n> version of Coq + other dependencies).\n>\n> Guillaume\n>\n> —\n> Reply to this email directly or view it on GitHub\n> <https://github.com/fsmith1024/scales/issues/2>.\n>\n"}}