ATProto Browser

Record data

{
  "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3ljb2zzlyz22r",
  "cid": "bafyreicgqfi2eskuc5zvv3alaivnk6hzskks3zksng2dhygqvzjlw4j4ty",
  "value": {
    "text": "Reservoir: More than a package registry - it's a leap forward in managing #LeanLang's ecosystem: Beyond storage to comprehensive compatibility and development. Our cloud build cache is live, preliminary private packages support is here, and FFI improvements are on the way.\n\n➡️ reservoir.lean-lang.org",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.external",
      "external": {
        "uri": "https://reservoir.lean-lang.org/",
        "thumb": {
          "$type": "blob",
          "ref": {
            "$link": "bafkreibblh3acocbxqh7gwsdqfsvmwmarzqofxonha2h7rn44ayan3f5xe"
          },
          "mimeType": "image/jpeg",
          "size": 336586
        },
        "title": "Reservoir",
        "description": "Reservoir is the package registry for Lake, the build system and package manager of the Lean programming language and theorem prover."
      }
    },
    "langs": [
      "en"
    ],
    "facets": [
      {
        "index": {
          "byteEnd": 85,
          "byteStart": 74
        },
        "features": [
          {
            "tag": "LeanLang's",
            "$type": "app.bsky.richtext.facet#tag"
          }
        ]
      },
      {
        "index": {
          "byteEnd": 305,
          "byteStart": 282
        },
        "features": [
          {
            "uri": "https://reservoir.lean-lang.org/",
            "$type": "app.bsky.richtext.facet#link"
          }
        ]
      }
    ],
    "createdAt": "2025-02-28T18:48:18.221Z"
  }
}