)]}'
{
  "id": "1a983929958f1cf90a8c311e569801d8c92f70e7",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "6e8679d4886060845a6348a8028729049e4e3163",
      "name": "0.1-aux.vars.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b43bf100c129b25e0b60ab7e7cb5d6afc30d6474",
      "name": "0.2-aux.num.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7b6439ef97ad994921d58298267e9f0fd36d525c",
      "name": "0.3-aux.seq.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f5a6fafe13bf4cc64fc3cd3afdf9d31d4ae18d8f",
      "name": "1.0-syntax.profiles.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "670a329c909e8f90e9e7f1fa204f6789e207144b",
      "name": "1.1-syntax.values.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "96acf96d8425cb829010272c5e954b3f0ec40366",
      "name": "1.2-syntax.types.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fc706a84514475f66bd37bb93a0b9ea0653cb613",
      "name": "1.3-syntax.instructions.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b84c6fa53df7b564c1e34e55d12088f9c7f2e0e4",
      "name": "1.4-syntax.modules.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bbde5a0763ece6c48c3f2264c47c41963c36e040",
      "name": "2.0-validation.contexts.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "916474232dee847502d68454f32b555cfb233806",
      "name": "2.1-validation.types.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7940772239b1198d30f3b32aa2ba07bd8b60706b",
      "name": "2.2-validation.subtyping.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "999049058593e59e97e6757c04b14b14cb23882d",
      "name": "2.3-validation.instructions.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a78814662e57da4e6d2ae785dfc1196bf5de6bed",
      "name": "2.4-validation.modules.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "212c948ba0e8eceb973157427d114ab5bf152043",
      "name": "3.0-numerics.relaxed.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "17171da2d1ad635eca5d01a7d47dcd1edfd25ac8",
      "name": "3.1-numerics.scalar.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c88b9dadfb4977113a7c931cf6cd5ff5b93b5b4c",
      "name": "3.2-numerics.vector.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f1a7284359f0094575df8fc48b6e3e9206904acc",
      "name": "4.0-execution.configurations.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6237c93ac04f5bb57fe52bbf5cee5a18b64f27dd",
      "name": "4.1-execution.values.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2b29f4661337cf2362ecb8caab8d85f24344f19d",
      "name": "4.2-execution.types.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9368923f302715da4ab81f535b5faae76574e225",
      "name": "4.3-execution.instructions.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "91b2c9b3f7f0bae065f0bb740b392e0936766c10",
      "name": "4.4-execution.modules.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c671bebc0c52ac512076b167b3b9e7b5122daffd",
      "name": "5.1-binary.values.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "743ff87855dfaebd65d6aaa5ed863ecc0ca9afaa",
      "name": "5.2-binary.types.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ac06754ab2254b25fdb18fadebd09db37b7ba229",
      "name": "5.3-binary.instructions.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bfb047c65d2513d5567c4a19347cd00b32555ef5",
      "name": "5.4-binary.modules.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "af8aabb7855d9a19a89c6513fb1984b339f5eeed",
      "name": "6.0-text.lexical.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "09b6bbd2eaf502a90f652e40e869c6f2c625fc8b",
      "name": "6.1-text.values.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3825bd6d59607fa3a6c57411a9611fd9f926f490",
      "name": "6.2-text.types.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2f7af9e9c5d0f0ddacaa6270cec4c71f44ac74d4",
      "name": "6.3-text.instructions.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ae762152d1fc69b51cebea5b6125d14f6f1e5964",
      "name": "6.4-text.modules.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "420fcf7c7e1c8c6787563f3664d6d324fa52db87",
      "name": "7.0-soundness.contexts.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d059ee9a636adcdb10e86ea7b21b21acd3ea1675",
      "name": "7.1-soundness.configurations.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c12fe648cb91b390de3013bc1c6286a356c880f5",
      "name": "X.1-notation.syntax.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f4b76dd595accb0d957484ac937fa8e8be9ff592",
      "name": "X.2-notation.typing.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fa1a5a0deefc9c7f35bd171bd74dc4b84e635184",
      "name": "X.3-notation.execution.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5554b2c60791d5bc21d00b05d7a9d9b8a3473dc5",
      "name": "X.4-notation.binary.spectec"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "92c3cd03da0ef31fcc3cced2903ede7e3056f8e0",
      "name": "X.5-notation.text.spectec"
    }
  ]
}