{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiccqmmlqtzbmrcxynq4czmflmkb4cmncxntaiumvecoihbh75klhu",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mjjtisdrhoo2"
  },
  "path": "/t/ann-ghcup-0-2-0-0-rc-or-beta-maybe/13930#post_5",
  "publishedAt": "2026-04-15T10:51:32.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "Add Agda · haskell/ghcup-metadata@89d8d01 · GitHub"
  ],
  "textContent": "I’ve added it here: Add Agda · haskell/ghcup-metadata@89d8d01 · GitHub\n\nIt should show up in the default channel when using the prerelease.\n\nOnce a proper release commences, I will move those tools to separate channels.",
  "title": "[ANN] GHCup 0.2.0.0 RC (or beta, maybe)"
}