{"pages":[{"page_name":"Windows-Binaries","title":"Windows Binaries","summary":null,"action":"edited","sha":"0fcab2dbda06c3a8f6fdd8bfb36e1a93f4108b33","html_url":"https://github.com/idris-lang/Idris-dev/wiki/Windows-Binaries"}]}