Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
conservative update to stack-2.15.7;
authorwenzelm
Sat, 25 Jan 2025 21:29:27 +0100
changeset 81977 2947ba9c56f7
parent 81976 d6906956ba34
child 81978 d9cd12d0c5db
conservative update to stack-2.15.7;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Admin/component_stack.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Jan 24 21:24:42 2025 +0000
+++ b/Admin/components/components.sha1	Sat Jan 25 21:29:27 2025 +0100
@@ -540,6 +540,7 @@
 fdfea3b1c6b02612b1d50decb20b1a27ae741629 stack-2.15.1.tar.gz
 6fd65aac9147ba93fa3356fa629f6911d82d767b stack-2.15.3.tar.gz
 937a061f638823805ebc561b22465198f0ff1670 stack-2.15.5.tar.gz
+80064400c20b0cf7c05d66686e1433bd602dfafc stack-2.15.7.tar.gz
 ebd0221d038966aa8bde075f1b0189ff867b02ca stack-2.5.1.tar.gz
 fa2d882ec45cbc8c7d2f3838b705a8316696dc66 stack-2.7.3.tar.gz
 18437bc9abd5b95be31a96f7c15a85a3ebf466cf stack-2.9.3.tar.gz
--- a/Admin/components/main	Fri Jan 24 21:24:42 2025 +0000
+++ b/Admin/components/main	Sat Jan 25 21:29:27 2025 +0100
@@ -36,7 +36,7 @@
 solr-9.7.0-1
 spass-3.8ds-2
 sqlite-3.48.0.0
-stack-2.15.5
+stack-2.15.7
 vampire-4.8
 verit-2021.06.2-rmx-1
 vscode_extension-20241002
--- a/src/Pure/Admin/component_stack.scala	Fri Jan 24 21:24:42 2025 +0000
+++ b/src/Pure/Admin/component_stack.scala	Sat Jan 25 21:29:27 2025 +0100
@@ -29,7 +29,7 @@
   /* build stack */
 
   val default_url = "https://github.com/commercialhaskell/stack/releases/download"
-  val default_version = "2.15.5"
+  val default_version = "2.15.7"
 
   def build_stack(
     base_url: String = default_url,
isabelle