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 d6622bf9136ef1b0181584da2b075145b534db93	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 3c2aead035108d91034cfd1a1002e86eff7c93af	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 17171da2d1ad635eca5d01a7d47dcd1edfd25ac8	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 cd21223365dc81f1bc7f00ca6740f76f00b84780	4.4-execution.modules.spectec
100644 blob 4383fed0e5fc5e79e1519748516985f4bb9b04b4	5.1-binary.values.spectec
100644 blob 743ff87855dfaebd65d6aaa5ed863ecc0ca9afaa	5.2-binary.types.spectec
100644 blob 1bc327eb85d0ebd8060929fe927cef1591825d3a	5.3-binary.instructions.spectec
100644 blob 6a0900aabce04d4b09b05e4ce0e247f8b0f96bf7	5.4-binary.modules.spectec
100644 blob af8aabb7855d9a19a89c6513fb1984b339f5eeed	6.0-text.lexical.spectec
100644 blob 41d8a00e219b7ecf51d19603c7ac29e2807af783	6.1-text.values.spectec
100644 blob 2afedafc96e50e53f06708a3335eb5b88243acc7	6.2-text.types.spectec
100644 blob 46d95fde5988de9b14780ada883771de66d1776a	6.3-text.instructions.spectec
100644 blob 48e877ad89d43e26d1552404e0ba87b55f4c2dda	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