New version: PlutoExtras v0.7.12 (#102801)

UUID: ed5d0301-4775-4676-b788-cf71e66ff8ed Repo: https://github.com/disberd/PlutoExtras.jl.git Tree: 93d8c75734da9192d0639406fe6fb446be0fba4f Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Mar 13, 2024 · 2e7ed76 · 2e7ed76
1 parent 3c716ef
commit 2e7ed76
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/P/PlutoExtras/Compat.toml b/P/PlutoExtras/Compat.toml
@@ -17,10 +17,18 @@ PlutoUI = "0.7.21-0.7"
 ["0.6.1-0.7.10"]
 PlutoDevMacros = "0.5"
 
-["0.7.11-0"]
+["0.7.11"]
 PlutoDevMacros = "0.6"
+
+["0.7.11-0"]
 julia = "1.9.0-1"
 
+["0.7.12-0"]
+InteractiveUtils = "1"
+Markdown = "1"
+PlutoDevMacros = "0.6-0.7"
+REPL = "1"
+
 ["0.7.3-0.7.10"]
 julia = "1.8.0-1"
 

diff --git a/P/PlutoExtras/Versions.toml b/P/PlutoExtras/Versions.toml
@@ -39,3 +39,6 @@ git-tree-sha1 = "beedecb30d8ed0874773d5641f5ce5ee2bfeeded"
 
 ["0.7.11"]
 git-tree-sha1 = "382b530c2ebe31f4a44cb055642bbd71197fbd20"
+
+["0.7.12"]
+git-tree-sha1 = "93d8c75734da9192d0639406fe6fb446be0fba4f"