100644 blob 6e8679d4886060845a6348a8028729049e4e3163	0.1-aux.vars.spectec
100644 blob b43bf100c129b25e0b60ab7e7cb5d6afc30d6474	0.2-aux.num.spectec
100644 blob 7b6439ef97ad994921d58298267e9f0fd36d525c	0.3-aux.seq.spectec
100644 blob f5a6fafe13bf4cc64fc3cd3afdf9d31d4ae18d8f	1.0-syntax.profiles.spectec
100644 blob 89cc7e6a1d5111db6a71c80a012cccbbf7d8cefd	1.1-syntax.values.spectec
100644 blob e0ee0b510977c53849319f8c5c591c4dbcdab61f	1.2-syntax.types.spectec
100644 blob e51133cb7166274844ae7db7ec99bbbeca073f0b	1.3-syntax.instructions.spectec
100644 blob dc55b22c8df56dde5e8067753656d8da0ed768c6	1.4-syntax.modules.spectec
100644 blob e9205fa2b3770286af7b730d9ceccc5fd19bbbf4	2.0-validation.contexts.spectec
100644 blob 0d74d8109e4b87da57b60e31435d9ee539c07165	2.1-validation.types.spectec
100644 blob 4b91b5eb21f0eaa970fa89a8e5b2cadfd794a37e	2.2-validation.subtyping.spectec
100644 blob a89f98c092adac1bc39ca79e8f96d9cbc8d8239b	2.3-validation.instructions.spectec
100644 blob a78814662e57da4e6d2ae785dfc1196bf5de6bed	2.4-validation.modules.spectec
100644 blob 212c948ba0e8eceb973157427d114ab5bf152043	3.0-numerics.relaxed.spectec
100644 blob 832c219981d803628ef9afd32316438a689daeac	3.1-numerics.scalar.spectec
100644 blob c88b9dadfb4977113a7c931cf6cd5ff5b93b5b4c	3.2-numerics.vector.spectec
100644 blob c8e06e08599c9121a972639123796e46d7a6aa2e	4.0-execution.configurations.spectec
100644 blob 1b38a06234b085f5cc6e50bb257009d18e0940ef	4.1-execution.values.spectec
100644 blob 5f9f9c881e8bdaf2d1c4952a843e2e4886676a61	4.2-execution.types.spectec
100644 blob bde165a665f19db796fbb3ced7437d2334ce4106	4.3-execution.instructions.spectec
100644 blob 2e3edccb212cbd599ec5c20ec820979ef06bb6d6	4.4-execution.modules.spectec
100644 blob 914f00334fbfefef28665b5a7e08fd14ee41182c	5.1-binary.values.spectec
100644 blob 743ff87855dfaebd65d6aaa5ed863ecc0ca9afaa	5.2-binary.types.spectec
100644 blob bd0c75bd5073665a482faf5ed31115164da64abe	5.3-binary.instructions.spectec
100644 blob 6a0900aabce04d4b09b05e4ce0e247f8b0f96bf7	5.4-binary.modules.spectec
100644 blob af8aabb7855d9a19a89c6513fb1984b339f5eeed	6.0-text.lexical.spectec
100644 blob e93e646fc71bf243d9892674931771a81b15eee2	6.1-text.values.spectec
100644 blob fba18c345d5b3b8fbf10f1002fd4502a2de8a66e	6.2-text.types.spectec
100644 blob bdc300bf6eabd933e19dfdb09d307fcd094e5758	6.3-text.instructions.spectec
100644 blob 18d6100393f4f62f7eaa184bcdef5a0777ad0f00	6.3-text.modules.spectec
100644 blob c12fe648cb91b390de3013bc1c6286a356c880f5	X.1-notation.syntax.spectec
100644 blob f4b76dd595accb0d957484ac937fa8e8be9ff592	X.2-notation.typing.spectec
100644 blob fa1a5a0deefc9c7f35bd171bd74dc4b84e635184	X.3-notation.execution.spectec
100644 blob 5554b2c60791d5bc21d00b05d7a9d9b8a3473dc5	X.4-notation.binary.spectec
100644 blob 92c3cd03da0ef31fcc3cced2903ede7e3056f8e0	X.5-notation.text.spectec