{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreigy4twzvoofecqglysc2jbxmhlcx2bgs75eunvpamkylndmlhhyim",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mjjtix3g6wo2"
  },
  "path": "/t/ann-ghcup-0-2-0-0-rc-or-beta-maybe/13930#post_4",
  "publishedAt": "2026-04-15T10:43:20.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "Release v2.8.0 · agda/agda · GitHub"
  ],
  "textContent": "We publish binaries with our GitHub releases: Release v2.8.0 · agda/agda · GitHub (scroll all the way down to “Assets”).\nAfter putting the binary in the path one can install it by calling `agda –setup` which extracts some embedded files into its versioned XDG app directory.\n\nVersions before 2.8 do not support this method, so we would probably not add them GHCup.",
  "title": "[ANN] GHCup 0.2.0.0 RC (or beta, maybe)"
}