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 74090 c26f4ec59835
parent 74080 5b68a5cd7061
child 74161 3f371ba2b4fc 
--- a/src/Tools/Haskell/Test.thy	Sat Jul 31 11:40:37 2021 +0200
+++ b/src/Tools/Haskell/Test.thy	Sat Jul 31 12:14:45 2021 +0200
@@ -18,7 +18,7 @@
         GHC.new_project dir
           {name = "isabelle",
            depends =
-            ["bytestring", "containers", "network", "split", "text", "threads", "uuid"],
+            ["array", "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