{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/8352","repository_url":"https://api.github.com/repos/ocaml/opam-repository","labels_url":"https://api.github.com/repos/ocaml/opam-repository/issues/8352/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam-repository/issues/8352/comments","events_url":"https://api.github.com/repos/ocaml/opam-repository/issues/8352/events","html_url":"https://github.com/ocaml/opam-repository/pull/8352","id":202751776,"number":8352,"title":"Use opamconfig to configure conf-gmp and zarith","user":{"login":"michipili","id":5123318,"avatar_url":"https://avatars.githubusercontent.com/u/5123318?v=3","gravatar_id":"","url":"https://api.github.com/users/michipili","html_url":"https://github.com/michipili","followers_url":"https://api.github.com/users/michipili/followers","following_url":"https://api.github.com/users/michipili/following{/other_user}","gists_url":"https://api.github.com/users/michipili/gists{/gist_id}","starred_url":"https://api.github.com/users/michipili/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/michipili/subscriptions","organizations_url":"https://api.github.com/users/michipili/orgs","repos_url":"https://api.github.com/users/michipili/repos","events_url":"https://api.github.com/users/michipili/events{/privacy}","received_events_url":"https://api.github.com/users/michipili/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-01-24T08:19:37Z","updated_at":"2017-01-24T08:29:12Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ocaml/opam-repository/pulls/8352","html_url":"https://github.com/ocaml/opam-repository/pull/8352","diff_url":"https://github.com/ocaml/opam-repository/pull/8352.diff","patch_url":"https://github.com/ocaml/opam-repository/pull/8352.patch"},"body":"This is to solve long-standing issues #1464 and #3000.\r\n\r\nThe technique used and the tool `opamconfig` implementing it have been discussed in #6271 and are also documented in [the opamconfig project itself](https://github.com/michipili/opamconfig).\r\n\r\nCC @timbertson,  @djs55 and @avsm as you recently touched these files, please add anyone you think could also be interested in this patch. Thomas Braibant (maintainer of zarith) has been emailed."},"comment":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/comments/274739450","html_url":"https://github.com/ocaml/opam-repository/pull/8352#issuecomment-274739450","issue_url":"https://api.github.com/repos/ocaml/opam-repository/issues/8352","id":274739450,"user":{"login":"michipili","id":5123318,"avatar_url":"https://avatars.githubusercontent.com/u/5123318?v=3","gravatar_id":"","url":"https://api.github.com/users/michipili","html_url":"https://github.com/michipili","followers_url":"https://api.github.com/users/michipili/followers","following_url":"https://api.github.com/users/michipili/following{/other_user}","gists_url":"https://api.github.com/users/michipili/gists{/gist_id}","starred_url":"https://api.github.com/users/michipili/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/michipili/subscriptions","organizations_url":"https://api.github.com/users/michipili/orgs","repos_url":"https://api.github.com/users/michipili/repos","events_url":"https://api.github.com/users/michipili/events{/privacy}","received_events_url":"https://api.github.com/users/michipili/received_events","type":"User","site_admin":false},"created_at":"2017-01-24T08:29:12Z","updated_at":"2017-01-24T08:29:12Z","body":"Unluckily the zarith package does not seem to have a home anymore, since @gildor478 announced the obsolescence of the historical OCaml forge. This makes it impossible to supply meaningful values to the fields missing from the `opam` file.  @xavierleroy what are your plans to host further development of the `zarith` library?"}}
{"actor":{"display_login":"michipili"}}