Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Haskell/Test.thy
changeset 74080 5b68a5cd7061
parent 70082 4f936de6d9b8
child 74090 c26f4ec59835 
--- a/src/Tools/Haskell/Test.thy	Wed Jul 28 10:21:02 2021 +0200
+++ b/src/Tools/Haskell/Test.thy	Wed Jul 28 12:41:27 2021 +0200
@@ -18,7 +18,7 @@
         GHC.new_project dir
           {name = "isabelle",
            depends =
-            ["bytestring", "containers", "network", "split", "threads", "utf8-string", "uuid"],
+            ["bytestring", "containers", "network", "split", "text", "threads", "uuid"],
            modules = modules};
     in
       writeln (Generated_Files.execute dir \<open>Build\<close> "mv Isabelle src && isabelle ghc_stack build")
isabelle