Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more scalable: avoid potentially expensive ordering of underlying key data type, e.g. in MESON.Cache of Naproche;
  2. updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
Changeset 79741:513829904beb by wenzelm:
more scalable: avoid potentially expensive ordering of underlying key data type, e.g. in MESON.Cache of Naproche;
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 79740:ea1913c953ef by wenzelm:
updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/settings (diff)
The file was modified src/Pure/Admin/component_stack.scala (diff)