From 9e4e620e792c832d4c26422411be21386f6b84a4 Mon Sep 17 00:00:00 2001 From: Pat Hickey Date: Fri, 10 Nov 2023 15:00:24 -0800 Subject: [PATCH 1/2] set package version to 0.2.0-rc-2023-11-10 and put a `package` statement at the top of every wit, instead of just world.wit. --- wit/insecure-seed.wit | 1 + wit/insecure.wit | 1 + wit/random.wit | 1 + wit/world.wit | 2 +- 4 files changed, 4 insertions(+), 1 deletion(-) diff --git a/wit/insecure-seed.wit b/wit/insecure-seed.wit index 139aed1..f76e87d 100644 --- a/wit/insecure-seed.wit +++ b/wit/insecure-seed.wit @@ -1,3 +1,4 @@ +package wasi:random@0.2.0-rc-2023-11-10; /// The insecure-seed interface for seeding hash-map DoS resistance. /// /// It is intended to be portable at least between Unix-family platforms and diff --git a/wit/insecure.wit b/wit/insecure.wit index 2ffd223..ec7b997 100644 --- a/wit/insecure.wit +++ b/wit/insecure.wit @@ -1,3 +1,4 @@ +package wasi:random@0.2.0-rc-2023-11-10; /// The insecure interface for insecure pseudo-random numbers. /// /// It is intended to be portable at least between Unix-family platforms and diff --git a/wit/random.wit b/wit/random.wit index 2c3c6a8..7a7dfa2 100644 --- a/wit/random.wit +++ b/wit/random.wit @@ -1,3 +1,4 @@ +package wasi:random@0.2.0-rc-2023-11-10; /// WASI Random is a random data API. /// /// It is intended to be portable at least between Unix-family platforms and diff --git a/wit/world.wit b/wit/world.wit index bb1dd7b..49e5743 100644 --- a/wit/world.wit +++ b/wit/world.wit @@ -1,4 +1,4 @@ -package wasi:random; +package wasi:random@0.2.0-rc-2023-11-10; world imports { import random; From 357bf66fb8cc5a1813cb788e1953a71de30c4157 Mon Sep 17 00:00:00 2001 From: Pat Hickey Date: Fri, 10 Nov 2023 15:01:12 -0800 Subject: [PATCH 2/2] generate markdown --- imports.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/imports.md b/imports.md index b8b1608..4bd886c 100644 --- a/imports.md +++ b/imports.md @@ -2,13 +2,13 @@ -

Import interface wasi:random/random

+

Import interface wasi:random/random@0.2.0-rc-2023-11-10

WASI Random is a random data API.

It is intended to be portable at least between Unix-family platforms and Windows.

@@ -41,7 +41,7 @@ represented as a u64.

-

Import interface wasi:random/insecure

+

Import interface wasi:random/insecure@0.2.0-rc-2023-11-10

The insecure interface for insecure pseudo-random numbers.

It is intended to be portable at least between Unix-family platforms and Windows.

@@ -70,7 +70,7 @@ a long period.

-

Import interface wasi:random/insecure-seed

+

Import interface wasi:random/insecure-seed@0.2.0-rc-2023-11-10

The insecure-seed interface for seeding hash-map DoS resistance.

It is intended to be portable at least between Unix-family platforms and Windows.