diff --git a/P/PlutoExtras/Compat.toml b/P/PlutoExtras/Compat.toml index bd819a4f215ae5f..1c94ff8553cf396 100644 --- 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 index 3bae3ccc67c8a74..48ab97fdb521f8f 100644 --- 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 index 9bab7293184b97d..7556034d419b740 100644 --- 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"