File 6823-stdlib-Add-since-versions-for-rand-algorit... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 6823-stdlib-Add-since-versions-for-rand-algorithms.patch of Package erlang (Revision b4f72044e1af8cfe32130ab849a401a1)

Currently displaying revision b4f72044e1af8cfe32130ab849a401a1 , Show latest

From 37ea66108738e65d8a0c89eaaba6b6bf76975760 Mon Sep 17 00:00:00 2001
From: Sverker Eriksson <sverker@erlang.org>
Date: Mon, 6 Mar 2023 21:01:21 +0100
Subject: [PATCH 3/4] stdlib: Add "since" versions for rand algorithms

---
 lib/stdlib/doc/src/rand.xml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/lib/stdlib/doc/src/rand.xml b/lib/stdlib/doc/src/rand.xml
index 2e84fb94ae..fb8075cb32 100644
--- a/lib/stdlib/doc/src/rand.xml
+++ b/lib/stdlib/doc/src/rand.xml
@@ -78,7 +78,7 @@
 
 
 <taglist>
- <tag><c>exsss</c></tag>
+ <tag since="OTP 22.0"><c>exsss</c></tag>
 <item>
 Xorshift116**, 58 bits precision and period of 2^116-1
 Jump function: equivalent to 2^64 calls
@@ -104,7 +104,7 @@
 thanks to its statistical qualities.
 	
 </item>
- <tag><c>exro928ss</c></tag>
+ <tag since="OTP 22.0"><c>exro928ss</c></tag>
 <item>
 Xoroshiro928**, 58 bits precision and a period of 2^928-1
 Jump function: equivalent to 2^512 calls
@@ -127,17 +127,17 @@
 	 the 58 bit adaption.
 	
 </item>
- <tag><c>exrop</c></tag>
+ <tag since="OTP 20.0"><c>exrop</c></tag>
 <item>
 Xoroshiro116+, 58 bits precision and period of 2^116-1
 Jump function: equivalent to 2^64 calls
 </item>
- <tag><c>exs1024s</c></tag>
+ <tag since="OTP 20.0"><c>exs1024s</c></tag>
 <item>
 Xorshift1024*, 64 bits precision and a period of 2^1024-1
 Jump function: equivalent to 2^512 calls
 </item>
- <tag><c>exsp</c></tag>
+ <tag since="OTP 20.0"><c>exsp</c></tag>
 <item>
 Xorshift116+, 58 bits precision and period of 2^116-1
 Jump function: equivalent to 2^64 calls
-- 
2.35.3

Places

File 6823-stdlib-Add-since-versions-for-rand-algorithms.patch of Package erlang (Revision b4f72044e1af8cfe32130ab849a401a1)

Places