New version: PlutoExtras v0.7.13

UUID: ed5d0301-4775-4676-b788-cf71e66ff8ed Repo: https://github.com/disberd/PlutoExtras.jl.git Tree: 681f89bdd5c1da76b31a524af798efb5eb332ee9 Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Jul 4, 2024 · 0ca939b · 0ca939b
1 parent 3d4c81a
commit 0ca939b
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 2 deletions.
diff --git a/P/PlutoExtras/Compat.toml b/P/PlutoExtras/Compat.toml
@@ -23,12 +23,18 @@ PlutoDevMacros = "0.6"
 ["0.7.11-0"]
 julia = "1.9.0-1"
 
+["0.7.12"]
+PlutoDevMacros = "0.6-0.7"
+
 ["0.7.12-0"]
 InteractiveUtils = "1"
 Markdown = "1"
-PlutoDevMacros = "0.6-0.7"
 REPL = "1"
 
+["0.7.13-0"]
+DocStringExtensions = "0.9"
+Random = "1"
+
 ["0.7.3-0.7.10"]
 julia = "1.8.0-1"
 

diff --git a/P/PlutoExtras/Deps.toml b/P/PlutoExtras/Deps.toml
@@ -3,14 +3,20 @@ AbstractPlutoDingetjes = "6e696c72-6542-2067-7265-42206c756150"
 HypertextLiteral = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2"
 InteractiveUtils = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
 Markdown = "d6f4376e-aef5-505a-96c1-9c027394607a"
-PlutoDevMacros = "a0499f29-c39b-4c5c-807c-88074221b949"
 PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
 
+["0-0.7.12"]
+PlutoDevMacros = "a0499f29-c39b-4c5c-807c-88074221b949"
+
 ["0-0.7.8"]
 OrderedCollections = "bac558e1-5e72-5ebc-8fee-abe8a469f55d"
 
 ["0.7-0"]
 REPL = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"
 
+["0.7.13-0"]
+DocStringExtensions = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae"
+Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
+
 ["0.7.9-0.7.10"]
 Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
diff --git a/P/PlutoExtras/Versions.toml b/P/PlutoExtras/Versions.toml
@@ -42,3 +42,6 @@ git-tree-sha1 = "382b530c2ebe31f4a44cb055642bbd71197fbd20"
 
 ["0.7.12"]
 git-tree-sha1 = "93d8c75734da9192d0639406fe6fb446be0fba4f"
+
+["0.7.13"]
+git-tree-sha1 = "681f89bdd5c1da76b31a524af798efb5eb332ee9"