{"pages":[{"page_name":"Windows-Binaries","title":"Windows Binaries","summary":null,"action":"edited","sha":"e27ecad54c420b70d90c4c3dc9dc2dd721b9479c","html_url":"/idris-lang/Idris-dev/wiki/Windows-Binaries"}]}