{"action":"created","issue":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/653","repository_url":"https://api.github.com/repos/Z3Prover/z3","labels_url":"https://api.github.com/repos/Z3Prover/z3/issues/653/labels{/name}","comments_url":"https://api.github.com/repos/Z3Prover/z3/issues/653/comments","events_url":"https://api.github.com/repos/Z3Prover/z3/issues/653/events","html_url":"https://github.com/Z3Prover/z3/issues/653","id":160095517,"number":653,"title":"Z3 NuGet Package","user":{"login":"veleek","id":1055021,"avatar_url":"https://avatars.githubusercontent.com/u/1055021?v=3","gravatar_id":"","url":"https://api.github.com/users/veleek","html_url":"https://github.com/veleek","followers_url":"https://api.github.com/users/veleek/followers","following_url":"https://api.github.com/users/veleek/following{/other_user}","gists_url":"https://api.github.com/users/veleek/gists{/gist_id}","starred_url":"https://api.github.com/users/veleek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/veleek/subscriptions","organizations_url":"https://api.github.com/users/veleek/orgs","repos_url":"https://api.github.com/users/veleek/repos","events_url":"https://api.github.com/users/veleek/events{/privacy}","received_events_url":"https://api.github.com/users/veleek/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-06-14T04:33:37Z","updated_at":"2016-06-15T05:20:51Z","closed_at":null,"body":"There is a NuGet package available that packages up the Z3 binaries but it's a little out of date.  It would be nice to see an 'official' package available that includes both the 32 and 64 bit binaries.\r\n\r\nI have a project/package like this and can provide details if anyone is interested."},"comment":{"url":"https://api.github.com/repos/Z3Prover/z3/issues/comments/226090571","html_url":"https://github.com/Z3Prover/z3/issues/653#issuecomment-226090571","issue_url":"https://api.github.com/repos/Z3Prover/z3/issues/653","id":226090571,"user":{"login":"veleek","id":1055021,"avatar_url":"https://avatars.githubusercontent.com/u/1055021?v=3","gravatar_id":"","url":"https://api.github.com/users/veleek","html_url":"https://github.com/veleek","followers_url":"https://api.github.com/users/veleek/followers","following_url":"https://api.github.com/users/veleek/following{/other_user}","gists_url":"https://api.github.com/users/veleek/gists{/gist_id}","starred_url":"https://api.github.com/users/veleek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/veleek/subscriptions","organizations_url":"https://api.github.com/users/veleek/orgs","repos_url":"https://api.github.com/users/veleek/repos","events_url":"https://api.github.com/users/veleek/events{/privacy}","received_events_url":"https://api.github.com/users/veleek/received_events","type":"User","site_admin":false},"created_at":"2016-06-15T05:20:51Z","updated_at":"2016-06-15T05:20:51Z","body":"Well... kinda.  Even if you're not publishing nightly builds, we should probably publish beta versions of the packages (essentially anything with a dash in the version, e.g. 1.2.3-beta1) and then only publish release versions for the actual releases.  \r\n\r\nFor nightly builds you could look into using another NuGet repository like MyGet to avoid cluttering the main NuGet repo, the discussion here is good: https://stackoverflow.com/questions/23753880/nuget-and-nightly-builds\r\n\r\nAll that being said, I'm constructing a NuGet package myself and trying to figure out if there's a reasonable way deal with the 32/64 bit stuff.  Right now I'm using [a build target in the package](https://docs.nuget.org/create/creating-and-publishing-a-package#import-msbuild-targets-and-props-files-into-project) to automatically reference the 32-bit or 64-bit depending on the projects build platform.  This works, except that it the reference doesn't show up in Visual Studio because the reference is added at build time.  Still researching if there's a way around this (maybe using a .props file)."}}
{"actor":{"display_login":"veleek"}}