{"issue":{"created_at":"2011-12-14T13:09:54Z","state":"open","updated_at":"2011-12-14T13:09:54Z","user":{"gravatar_id":"72b115be1efa040d44c436223c152b14","id":647105,"url":"https://api.github.com/users/maximedenes","login":"maximedenes","avatar_url":"https://secure.gravatar.com/avatar/72b115be1efa040d44c436223c152b14?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png"},"comments":0,"body":"If we want developments using native compilation to be compatible with regular makefiles, we should store the compiled code in vo files.","assignee":null,"pull_request":{"patch_url":null,"html_url":null,"diff_url":null},"id":2551267,"labels":[],"number":4,"title":"Separate cmxs incompatible with makefiles","html_url":"https://github.com/maximedenes/native-coq/issues/4","closed_at":null,"url":"https://api.github.com/repos/maximedenes/native-coq/issues/4","milestone":null},"action":"opened"}