From b4d4f0af1a03ad284b4f7fce118a33aafc12a054 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Thu, 25 Jun 2026 12:57:10 +0200 Subject: [PATCH] Update site generation to Pluto 1.0 --- pluto-deployment-environment/Manifest.toml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/pluto-deployment-environment/Manifest.toml b/pluto-deployment-environment/Manifest.toml index b2e99fa6..83a98c61 100644 --- a/pluto-deployment-environment/Manifest.toml +++ b/pluto-deployment-environment/Manifest.toml @@ -378,9 +378,9 @@ weakdeps = ["REPL"] [[deps.Pluto]] deps = ["Base64", "Configurations", "Dates", "Downloads", "ExpressionExplorer", "FileWatching", "GracefulPkg", "HTTP", "HypertextLiteral", "InteractiveUtils", "LRUCache", "Logging", "LoggingExtras", "MIMEs", "Malt", "Markdown", "MsgPack", "Pkg", "PlutoDependencyExplorer", "PrecompileSignatures", "PrecompileTools", "REPL", "Random", "RegistryInstances", "RelocatableFolders", "SHA", "Scratch", "Sockets", "TOML", "Tables", "URIs", "UUIDs"] -git-tree-sha1 = "28b909d9b43772eab7dbaa2dcc2c025865ebfaa3" +git-tree-sha1 = "03cd5666d17c3658cc6d6fc1591b8d146282a733" uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781" -version = "0.20.28" +version = "1.0.1" [[deps.PlutoDependencyExplorer]] deps = ["ExpressionExplorer", "InteractiveUtils", "Markdown"] @@ -390,17 +390,17 @@ version = "1.2.2" [[deps.PlutoNotebookComparison]] deps = ["Compat", "ExpressionExplorer", "HTTP", "InteractiveUtils", "LibGit2", "Logging", "LoggingExtras", "Markdown", "Pkg", "Pluto", "PlutoSliderServer", "TOML", "URIs"] -git-tree-sha1 = "b0c6500805eea7a045081e4e5fb465b8ecb2e6e0" +git-tree-sha1 = "6ecdee5c181a207adafa633fe11d848fa8879bd0" repo-rev = "main" repo-url = "https://github.com/JuliaPluto/PlutoNotebookComparison.jl" uuid = "828d9ff0-206c-6161-646e-6576656f7242" -version = "1.0.1" +version = "1.0.2" [[deps.PlutoSliderServer]] deps = ["AbstractPlutoDingetjes", "Base64", "BetterFileWatching", "Configurations", "Distributed", "FromFile", "Git", "Glob", "GracefulPkg", "HTTP", "JSON", "LibGit2", "Logging", "Pkg", "Pluto", "PlutoDependencyExplorer", "SHA", "Serialization", "Sockets", "TOML", "TerminalLoggers", "UUIDs"] -git-tree-sha1 = "d00613560b367be5b9620defa748489c67023347" +git-tree-sha1 = "d3fee0664864680ca38aec551c9303e3d50088b7" uuid = "2fc8631c-6f24-4c5b-bca7-cbb509c42db4" -version = "1.8.0" +version = "1.8.2" [[deps.PrecompileSignatures]] git-tree-sha1 = "18ef344185f25ee9d51d80e179f8dad33dc48eb1"