Resolving dependencies...
Build profile: -w ghc-9.0.1 -O1
In order, the following will be built (use -v for more details):
 - hashable-1.3.4.1 (lib) (requires download & build)
 - time-compat-1.9.6.1 (lib) (requires build)
 - these-1.1.1.1 (lib) (requires build)
 - async-2.2.4 (lib) (requires download & build)
 - scientific-0.3.7.0 (lib) (requires build)
 - unordered-containers-0.2.14.0 (lib) (requires build)
 - hashtables-1.2.4.1 (lib) (requires build)
 - data-fix-0.3.2 (lib) (requires build)
 - uuid-types-1.0.5 (lib) (requires build)
 - case-insensitive-1.2.1.0 (lib) (requires build)
 - strict-0.4.0.1 (lib) (requires build)
 - tasty-silver-3.2.3 (lib) (requires build)
 - attoparsec-0.14.1 (lib) (requires build)
 - aeson-1.5.6.0 (lib) (requires build)
 - Agda-2.6.3 (lib:Agda, exe:agda, exe:agda-mode, test:agda-tests) (configuration changed)
Downloading  hashable-1.3.4.1
Downloaded   hashable-1.3.4.1
Downloading  async-2.2.4
Starting     hashable-1.3.4.1 (lib)
Downloaded   async-2.2.4
Building     hashable-1.3.4.1 (lib)
Installing   hashable-1.3.4.1 (lib)
Completed    hashable-1.3.4.1 (lib)
Starting     these-1.1.1.1 (lib)
Starting     async-2.2.4 (lib)
Starting     data-fix-0.3.2 (lib)
Starting     unordered-containers-0.2.14.0 (lib)
Starting     uuid-types-1.0.5 (lib)
Starting     case-insensitive-1.2.1.0 (lib)
Starting     scientific-0.3.7.0 (lib)
Starting     hashtables-1.2.4.1 (lib)
Starting     time-compat-1.9.6.1 (lib)
Building     time-compat-1.9.6.1 (lib)
Building     data-fix-0.3.2 (lib)
Building     case-insensitive-1.2.1.0 (lib)
Building     async-2.2.4 (lib)
Building     scientific-0.3.7.0 (lib)
Building     hashtables-1.2.4.1 (lib)
Building     unordered-containers-0.2.14.0 (lib)
Building     uuid-types-1.0.5 (lib)
Building     these-1.1.1.1 (lib)
Installing   async-2.2.4 (lib)
Installing   case-insensitive-1.2.1.0 (lib)
Installing   data-fix-0.3.2 (lib)
Installing   uuid-types-1.0.5 (lib)
Completed    async-2.2.4 (lib)
Starting     tasty-silver-3.2.3 (lib)
Installing   these-1.1.1.1 (lib)
Completed    data-fix-0.3.2 (lib)
Completed    case-insensitive-1.2.1.0 (lib)
Completed    uuid-types-1.0.5 (lib)
Installing   scientific-0.3.7.0 (lib)
Building     tasty-silver-3.2.3 (lib)
Completed    these-1.1.1.1 (lib)
Starting     strict-0.4.0.1 (lib)
Installing   time-compat-1.9.6.1 (lib)
Completed    scientific-0.3.7.0 (lib)
Starting     attoparsec-0.14.1 (lib)
Completed    time-compat-1.9.6.1 (lib)
Building     strict-0.4.0.1 (lib)
Installing   unordered-containers-0.2.14.0 (lib)
Building     attoparsec-0.14.1 (lib)
Completed    unordered-containers-0.2.14.0 (lib)
Installing   hashtables-1.2.4.1 (lib)
Completed    hashtables-1.2.4.1 (lib)
Installing   tasty-silver-3.2.3 (lib)
Completed    tasty-silver-3.2.3 (lib)
Installing   strict-0.4.0.1 (lib)
Completed    strict-0.4.0.1 (lib)
Installing   attoparsec-0.14.1 (lib)
Completed    attoparsec-0.14.1 (lib)
Starting     aeson-1.5.6.0 (lib)
Building     aeson-1.5.6.0 (lib)
Installing   aeson-1.5.6.0 (lib)
Completed    aeson-1.5.6.0 (lib)
Configuring Agda-2.6.3...
Preprocessing executable 'agda-mode' for Agda-2.6.3..
Building executable 'agda-mode' for Agda-2.6.3..
Preprocessing library for Agda-2.6.3..
Building library for Agda-2.6.3..
[ 26 of 404] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/IntSet/Infinite.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/IntSet/Infinite.dyn_o ) [/Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/autogen/cabal_macros.h changed]
[ 31 of 404] Compiling Agda.Utils.Map   ( src/full/Agda/Utils/Map.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Map.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Map.dyn_o ) [/Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/autogen/cabal_macros.h changed]
[ 33 of 404] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Memo.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Memo.dyn_o ) [Data.Hashable changed]
[ 34 of 404] Compiling Agda.Utils.Monoid ( src/full/Agda/Utils/Monoid.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Monoid.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Monoid.dyn_o ) [/Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/autogen/cabal_macros.h changed]
[ 35 of 404] Compiling Agda.Utils.Null  ( src/full/Agda/Utils/Null.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Null.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Null.dyn_o ) [Data.HashSet changed]
[ 36 of 404] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Maybe/Strict.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Maybe/Strict.dyn_o ) [Data.Strict.Maybe changed]
[ 37 of 404] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/PartialOrd.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/PartialOrd.dyn_o ) [/Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/autogen/cabal_macros.h changed]
[ 38 of 404] Compiling Agda.Utils.POMonoid ( src/full/Agda/Utils/POMonoid.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/POMonoid.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/POMonoid.dyn_o ) [/Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/autogen/cabal_macros.h changed]
[ 39 of 404] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Pointer.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Pointer.dyn_o ) [Data.Hashable changed]
[ 42 of 404] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Singleton.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Singleton.dyn_o ) [Data.HashSet changed]
[ 43 of 404] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Cluster.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Cluster.dyn_o ) [Agda.Utils.Singleton changed]
[ 47 of 404] Compiling Agda.Utils.Trie  ( src/full/Agda/Utils/Trie.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Trie.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Trie.dyn_o ) [Agda.Utils.Maybe.Strict changed]
[ 49 of 404] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Favorites.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Favorites.dyn_o ) [Agda.Utils.Null changed]
[ 57 of 404] Compiling Paths_Agda       ( /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/autogen/Paths_Agda.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Paths_Agda.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Paths_Agda.dyn_o ) [/Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/autogen/cabal_macros.h changed]
[ 59 of 404] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/VersionCommit.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/VersionCommit.dyn_o ) [/Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/autogen/cabal_macros.h changed]
[ 60 of 404] Compiling Agda.TypeChecking.Monad.Debug[boot] ( src/full/Agda/TypeChecking/Monad/Debug.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Debug.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Debug.dyn_o )
[ 61 of 404] Compiling Agda.Utils.List1[boot] ( src/full/Agda/Utils/List1.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/List1.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/List1.dyn_o )
[ 62 of 404] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/List.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/List.dyn_o )
[ 63 of 404] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/String.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/String.dyn_o ) [Agda.Utils.List changed]
[ 64 of 404] Compiling Agda.Utils.List1 ( src/full/Agda/Utils/List1.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/List1.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/List1.dyn_o )
[ 65 of 404] Compiling Agda.Utils.Size  ( src/full/Agda/Utils/Size.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Size.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Size.dyn_o ) [Data.HashSet changed]
[ 66 of 404] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Permutation.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Permutation.dyn_o ) [Agda.Utils.List changed]
[ 67 of 404] Compiling Agda.Utils.List2 ( src/full/Agda/Utils/List2.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/List2.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/List2.dyn_o ) [Agda.Utils.List1 changed]
[ 68 of 404] Compiling Agda.Utils.Float ( src/full/Agda/Utils/Float.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Float.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Float.dyn_o ) [Agda.Utils.List changed]
[ 69 of 404] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Pretty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Pretty.dyn_o ) [Agda.Utils.List1 changed]
[ 70 of 404] Compiling Agda.Utils.Time  ( src/full/Agda/Utils/Time.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Time.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Time.dyn_o ) [Agda.Utils.Pretty changed]
[ 71 of 404] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Parser/MemoisedCPS.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Parser/MemoisedCPS.dyn_o ) [Data.HashMap.Strict changed]
[ 72 of 404] Compiling Agda.Utils.CallStack.Pretty ( src/full/Agda/Utils/CallStack/Pretty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/CallStack/Pretty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/CallStack/Pretty.dyn_o ) [Agda.Utils.Pretty changed]
[ 73 of 404] Compiling Agda.Utils.CallStack ( src/full/Agda/Utils/CallStack.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/CallStack.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/CallStack.dyn_o ) [Agda.Utils.CallStack.Pretty changed]
[ 74 of 404] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/Syntax.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/Syntax.dyn_o ) [Agda.Utils.Null changed]
[ 75 of 404] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/EmacsCommand.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/EmacsCommand.dyn_o ) [Agda.Utils.Pretty changed]
[ 76 of 404] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Either.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Either.dyn_o ) [Agda.Utils.List changed]
[ 77 of 404] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Monad.dyn_o ) [Agda.Utils.Either changed]
[ 78 of 404] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/ListT.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/ListT.dyn_o ) [Agda.Utils.Monad changed]
[ 79 of 404] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/FileName.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/FileName.dyn_o ) [Data.Hashable changed]
[ 80 of 404] Compiling Agda.Utils.Hash  ( src/full/Agda/Utils/Hash.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Hash.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Hash.dyn_o ) [Agda.Utils.FileName changed]
[ 81 of 404] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Benchmark.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Benchmark.dyn_o ) [Agda.Utils.ListT changed]
[ 82 of 404] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/BiMap.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/BiMap.dyn_o ) [Agda.Utils.List changed]
[ 83 of 404] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Position.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Position.dyn_o ) [Agda.Utils.FileName changed]
[ 84 of 404] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Common.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Common.dyn_o ) [Data.Strict.Maybe changed]
[ 85 of 404] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Fixity.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Fixity.dyn_o ) [Agda.Syntax.Common changed]
[ 86 of 404] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad ( src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Operators/Parser/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_o ) [Data.Hashable changed]
[ 87 of 404] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/JS/Syntax.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/JS/Syntax.dyn_o ) [Agda.Syntax.Common changed]
[ 88 of 404] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/Syntax.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/Syntax.dyn_o ) [Agda.Syntax.Common changed]
[ 89 of 404] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/SearchControl.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/SearchControl.dyn_o ) [Agda.Auto.Syntax changed]
[ 90 of 404] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/Typecheck.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/Typecheck.dyn_o ) [Agda.Auto.SearchControl changed]
[ 91 of 404] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Literate.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Literate.dyn_o )
[ 92 of 404] Compiling Agda.Syntax.Concrete.Glyph ( src/full/Agda/Syntax/Concrete/Glyph.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Glyph.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Glyph.dyn_o ) [Agda.Utils.List changed]
[ 93 of 404] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Name.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Name.dyn_o ) [Agda.Syntax.Common changed]
[ 94 of 404] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Base.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Base.dyn_o )
[ 95 of 404] Compiling Agda.Syntax.Builtin ( src/full/Agda/Syntax/Builtin.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Builtin.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Builtin.dyn_o ) [Agda.Utils.List changed]
[ 96 of 404] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/Name.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/Name.dyn_o ) [Data.Hashable changed]
[ 97 of 404] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Literal.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Literal.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[ 98 of 404] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Treeless.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Treeless.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[ 99 of 404] Compiling Agda.Compiler.Treeless.GuardsToPrims ( src/full/Agda/Compiler/Treeless/GuardsToPrims.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/GuardsToPrims.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/GuardsToPrims.dyn_o ) [Agda.Syntax.Treeless changed]
[100 of 404] Compiling Agda.Compiler.Treeless.AsPatterns ( src/full/Agda/Compiler/Treeless/AsPatterns.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/AsPatterns.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/AsPatterns.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[101 of 404] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Tokens.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Tokens.dyn_o ) [Agda.Syntax.Literal changed]
[102 of 404] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Backend.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Backend.dyn_o )
[103 of 404] Compiling Agda.Compiler.Builtin[boot] ( src/full/Agda/Compiler/Builtin.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Builtin.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Builtin.dyn_o )
[104 of 404] Compiling Agda.Interaction.Options.Warnings ( src/full/Agda/Interaction/Options/Warnings.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options/Warnings.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options/Warnings.dyn_o ) [Agda.Utils.List changed]
[105 of 404] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Monad.dyn_o ) [Agda.Syntax.Parser.Tokens changed]
[107 of 404] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Library/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Library/Base.dyn_o ) [Agda.Utils.FileName changed]
[108 of 404] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Library/Parse.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Library/Parse.dyn_o ) [Agda.Interaction.Library.Base changed]
[109 of 404] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Range.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Range.dyn_o ) [Agda.Syntax.Position changed]
[110 of 404] Compiling Agda.Utils.RangeMap ( src/full/Agda/Utils/RangeMap.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/RangeMap.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/RangeMap.dyn_o ) [Data.Strict.Tuple changed]
[111 of 404] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/JS/Substitution.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/JS/Substitution.dyn_o ) [Agda.Compiler.JS.Syntax changed]
[112 of 404] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/JS/Pretty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/JS/Pretty.dyn_o ) [Agda.Compiler.JS.Syntax changed]
[113 of 404] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/CaseSplit.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/CaseSplit.dyn_o ) [Agda.Auto.SearchControl changed]
[114 of 404] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_o ) [Agda.Utils.Null changed]
[115 of 404] Compiling Agda.Utils.Graph.TopSort ( src/full/Agda/Utils/Graph/TopSort.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Graph/TopSort.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Graph/TopSort.dyn_o ) [Agda.Utils.Graph.AdjacencyMap.Unidirectional changed]
[116 of 404] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_o ) [Agda.TypeChecking.SizedTypes.Syntax changed]
[117 of 404] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Positivity/Occurrence.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Positivity/Occurrence.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[118 of 404] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[119 of 404] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Pretty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Pretty.dyn_o ) [Data.Strict.Maybe changed]
[120 of 404] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage/SplitTree.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage/SplitTree.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[121 of 404] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Notation.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Notation.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[122 of 404] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Benchmarking.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Benchmarking.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[123 of 404] Compiling Agda.Syntax.Concrete.Pattern ( src/full/Agda/Syntax/Concrete/Pattern.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Pattern.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Pattern.dyn_o ) [Agda.Syntax.Common changed]
[124 of 404] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Operators/Parser.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Operators/Parser.dyn_o ) [Data.Strict.Maybe changed]
[125 of 404] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Generic.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Generic.dyn_o ) [Agda.Syntax.Common changed]
[126 of 404] Compiling Agda.Syntax.Concrete.Fixity ( src/full/Agda/Syntax/Concrete/Fixity.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Fixity.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Fixity.dyn_o ) [Agda.Syntax.Common changed]
[127 of 404] Compiling Agda.Syntax.Concrete.Definitions.Types ( src/full/Agda/Syntax/Concrete/Definitions/Types.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Definitions/Types.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Definitions/Types.dyn_o ) [Agda.Syntax.Common changed]
[128 of 404] Compiling Agda.Syntax.Concrete.Definitions.Errors ( src/full/Agda/Syntax/Concrete/Definitions/Errors.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Definitions/Errors.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Definitions/Errors.dyn_o ) [Agda.Syntax.Concrete changed]
[129 of 404] Compiling Agda.Syntax.Concrete.Definitions.Monad ( src/full/Agda/Syntax/Concrete/Definitions/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Definitions/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Definitions/Monad.dyn_o ) [Agda.Syntax.Common changed]
[130 of 404] Compiling Agda.Syntax.Concrete.Attribute ( src/full/Agda/Syntax/Concrete/Attribute.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Attribute.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Attribute.dyn_o ) [Agda.Syntax.Common changed]
[131 of 404] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Scope/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Scope/Base.dyn_o ) [Agda.Benchmarking changed]
[132 of 404] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Info.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Info.dyn_o ) [Agda.Syntax.Common changed]
[133 of 404] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Precise.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Precise.dyn_o ) [Agda.Interaction.Highlighting.Range changed]
[134 of 404] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Response.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Response.dyn_o )
[135 of 404] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/SparseMatrix.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/SparseMatrix.dyn_o ) [Agda.Utils.List changed]
[136 of 404] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/Order.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/Order.dyn_o ) [Agda.Termination.SparseMatrix changed]
[137 of 404] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/CallMatrix.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/CallMatrix.dyn_o ) [Agda.Termination.Order changed]
[138 of 404] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/CallGraph.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/CallGraph.dyn_o ) [Agda.Termination.CallMatrix changed]
[139 of 404] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/Termination.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/Termination.dyn_o ) [Agda.Termination.CallGraph changed]
[140 of 404] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Alex.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Alex.dyn_o ) [Agda.Syntax.Parser.Monad changed]
[141 of 404] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/LookAhead.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/LookAhead.dyn_o ) [Agda.Syntax.Parser.Alex changed]
[142 of 404] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/StringLiterals.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/StringLiterals.dyn_o ) [Agda.Syntax.Common changed]
[143 of 404] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/LexActions.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/LexActions.dyn_o )
[144 of 404] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Layout.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Layout.dyn_o )
[145 of 404] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Comments.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Comments.dyn_o ) [Agda.Syntax.Parser.Alex changed]
[146 of 404] Compiling Agda.Syntax.Parser.Lexer ( /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Lexer.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Lexer.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Lexer.dyn_o ) [Agda.Syntax.Literal changed]
[147 of 404] Compiling Agda.Syntax.Parser.Parser ( /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Parser.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Parser.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Parser.dyn_o ) [Agda.Syntax.Common changed]
[148 of 404] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/LexActions.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/LexActions.dyn_o ) [Agda.Syntax.Common changed]
[149 of 404] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Layout.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser/Layout.dyn_o ) [Agda.Syntax.Parser.Alex changed]
[150 of 404] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Parser.dyn_o )
[151 of 404] Compiling Agda.Syntax.Internal.Elim ( src/full/Agda/Syntax/Internal/Elim.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Elim.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Elim.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[152 of 404] Compiling Agda.Syntax.Internal.Blockers ( src/full/Agda/Syntax/Internal/Blockers.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Blockers.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Blockers.dyn_o ) [Agda.Syntax.Common changed]
[153 of 404] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[154 of 404] Compiling Agda.TypeChecking.Substitute.DeBruijn ( src/full/Agda/TypeChecking/Substitute/DeBruijn.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Substitute/DeBruijn.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Substitute/DeBruijn.dyn_o ) [Agda.Syntax.Common changed]
[155 of 404] Compiling Agda.TypeChecking.Free.Precompute ( src/full/Agda/TypeChecking/Free/Precompute.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Free/Precompute.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Free/Precompute.dyn_o ) [Agda.Syntax.Common changed]
[156 of 404] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Free/Lazy.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Free/Lazy.dyn_o ) [Agda.Syntax.Common changed]
[157 of 404] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Free.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Free.dyn_o ) [Agda.Benchmarking changed]
[158 of 404] Compiling Agda.TypeChecking.Substitute.Class ( src/full/Agda/TypeChecking/Substitute/Class.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Substitute/Class.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Substitute/Class.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[159 of 404] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Reflected.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Reflected.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[160 of 404] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Pattern.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Pattern.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[161 of 404] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Generic.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Generic.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[162 of 404] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[163 of 404] Compiling Agda.Syntax.Internal.MetaVars ( src/full/Agda/Syntax/Internal/MetaVars.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/MetaVars.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/MetaVars.dyn_o ) [Agda.Syntax.Common changed]
[164 of 404] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Defs.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Defs.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[165 of 404] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[166 of 404] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/Views.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/Views.dyn_o ) [Agda.Syntax.Abstract changed]
[167 of 404] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/PatternSynonyms.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/PatternSynonyms.dyn_o ) [Agda.Syntax.Abstract changed]
[168 of 404] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/Pattern.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/Pattern.dyn_o ) [Agda.Syntax.Abstract changed]
[169 of 404] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Definitions.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Definitions.dyn_o ) [Agda.Syntax.Common changed]
[170 of 404] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Warshall.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Utils/Warshall.dyn_o ) [Agda.Utils.List changed]
[171 of 404] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Library.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Library.dyn_o ) [Agda.Interaction.Library.Base changed]
[172 of 404] Compiling Agda.Interaction.Options.Base ( src/full/Agda/Interaction/Options/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options/Base.dyn_o ) [Agda.Interaction.Library changed]
[173 of 404] Compiling Agda.Interaction.Options.HasOptions ( src/full/Agda/Interaction/Options/HasOptions.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options/HasOptions.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options/HasOptions.dyn_o ) [Agda.Interaction.Options.Base changed]
[174 of 404] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options.dyn_o ) [Agda.Interaction.Options.Base changed]
[175 of 404] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Base.dyn_o ) [Data.HashMap.Strict changed]
[176 of 404] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Base.dyn_o ) [Data.HashTable.IO changed]
[177 of 404] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Term.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Term.dyn_o )
[178 of 404] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Decl.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Decl.dyn_o )
[179 of 404] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Application.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Application.dyn_o )
[180 of 404] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting.dyn_o )
[181 of 404] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Fast.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Fast.dyn_o )
[182 of 404] Compiling Agda.TypeChecking.Reduce[boot] ( src/full/Agda/TypeChecking/Reduce.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce.dyn_o )
[183 of 404] Compiling Agda.TypeChecking.Primitive[boot] ( src/full/Agda/TypeChecking/Primitive.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Primitive.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Primitive.dyn_o )
[184 of 404] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/MetaVars.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/MetaVars.dyn_o )
[185 of 404] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Imports.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Imports.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[186 of 404] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Env.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Env.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[187 of 404] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Context.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Context.dyn_o )
[188 of 404] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Builtin.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Builtin.dyn_o )
[189 of 404] Compiling Agda.TypeChecking.Lock[boot] ( src/full/Agda/TypeChecking/Lock.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Lock.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Lock.dyn_o )
[190 of 404] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Errors.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Errors.dyn_o )
[191 of 404] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Debug.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Debug.dyn_o ) [Agda.Interaction.Options changed]
[192 of 404] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Statistics.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Statistics.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[193 of 404] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Signature.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Signature.dyn_o )
[194 of 404] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/ProjectionLike.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/ProjectionLike.dyn_o )
[195 of 404] Compiling Agda.TypeChecking.Monad.Pure[boot] ( src/full/Agda/TypeChecking/Monad/Pure.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Pure.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Pure.dyn_o )
[196 of 404] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty.dyn_o )
[197 of 404] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Warning.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Warning.dyn_o )
[198 of 404] Compiling Agda.TypeChecking.Pretty.Call[boot] ( src/full/Agda/TypeChecking/Pretty/Call.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Call.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Call.dyn_o )
[199 of 404] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Caching.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Caching.dyn_o ) [Agda.Interaction.Options changed]
[200 of 404] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Benchmark.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Benchmark.dyn_o ) [Agda.Benchmarking changed]
[201 of 404] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Match.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Match.dyn_o )
[202 of 404] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Compile.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o )
[203 of 404] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Names.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/Names.dyn_o ) [Agda.Syntax.Abstract changed]
[204 of 404] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Imports.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Imports.dyn_o )
[205 of 404] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Generate.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Generate.dyn_o )
[206 of 404] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Warnings.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Warnings.dyn_o ) [Agda.Interaction.Highlighting.Generate changed]
[207 of 404] Compiling Agda.Compiler.Treeless.Erase[boot] ( src/full/Agda/Compiler/Treeless/Erase.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Erase.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Erase.dyn_o )
[208 of 404] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Inlining.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Inlining.dyn_o ) [Agda.Interaction.Options changed]
[209 of 404] Compiling Agda.Interaction.Base ( src/full/Agda/Interaction/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Base.dyn_o ) [missing old dependency]
[210 of 404] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Response.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Response.dyn_o ) [Agda.Interaction.Base changed]
[211 of 404] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/State.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/State.dyn_o ) [Data.HashMap.Strict changed]
[212 of 404] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Trace.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Trace.dyn_o ) [Agda.Interaction.Highlighting.Precise changed]
[213 of 404] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Mutual.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Mutual.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[214 of 404] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Closure.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Closure.dyn_o ) [Agda.TypeChecking.Monad.Base changed]
[215 of 404] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Constraints.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Constraints.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[216 of 404] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Constraints.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Constraints.dyn_o )
[217 of 404] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options/Lenses.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Options/Lenses.dyn_o ) [Agda.Interaction.Library changed]
[218 of 404] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Options.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Options.dyn_o ) [Agda.Interaction.Library changed]
[219 of 404] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Substitute.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Substitute.dyn_o ) [Data.HashMap.Strict changed]
[220 of 404] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Open.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Open.dyn_o ) [Agda.Syntax.Internal changed]
[221 of 404] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Context.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Context.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[222 of 404] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Telescope.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Telescope.dyn_o )
[223 of 404] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Builtin.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Builtin.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[224 of 404] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Polarity.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Polarity.dyn_o )
[225 of 404] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/SizedTypes.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/SizedTypes.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[226 of 404] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Level.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Level.dyn_o )
[227 of 404] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Scope/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Scope/Monad.dyn_o ) [Agda.Interaction.Options changed]
[228 of 404] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Translation/AbstractToConcrete.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Translation/AbstractToConcrete.dyn_o ) [Agda.Interaction.Options changed]
[229 of 404] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/Pretty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Abstract/Pretty.dyn_o ) [Agda.Syntax.Fixity changed]
[230 of 404] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Operators.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Concrete/Operators.dyn_o ) [Agda.Benchmarking changed]
[231 of 404] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/DropArgs.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/DropArgs.dyn_o ) [Agda.Syntax.Common changed]
[232 of 404] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Subst.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Subst.dyn_o ) [Agda.Syntax.Internal changed]
[233 of 404] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Pretty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Pretty.dyn_o ) [Agda.Compiler.Treeless.Subst changed]
[234 of 404] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Compare.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Compare.dyn_o ) [Agda.Compiler.Treeless.Subst changed]
[235 of 404] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Uncase.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Uncase.dyn_o ) [Agda.Compiler.Treeless.Compare changed]
[236 of 404] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Signature.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Signature.dyn_o ) [Data.HashMap.Strict changed]
[237 of 404] Compiling Agda.TypeChecking.Monad.Pure ( src/full/Agda/TypeChecking/Monad/Pure.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Pure.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/Pure.dyn_o ) [Agda.TypeChecking.Monad.Base changed]
[238 of 404] Compiling Agda.TypeChecking.Irrelevance[boot] ( src/full/Agda/TypeChecking/Irrelevance.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Irrelevance.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Irrelevance.dyn_o )
[239 of 404] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/MetaVars.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad/MetaVars.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[240 of 404] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/MetaVars.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/MetaVars.dyn_o )
[241 of 404] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Datatypes.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Datatypes.dyn_o )
[242 of 404] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Monad.dyn_o ) [Agda.Interaction.Options.Base changed]
[243 of 404] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Def.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Def.dyn_o )
[244 of 404] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o )
[245 of 404] Compiling Agda.TypeChecking.Rewriting.Clause ( src/full/Agda/TypeChecking/Rewriting/Clause.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/Clause.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/Clause.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[246 of 404] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Monad.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[247 of 404] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/ImpossibleTest.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/ImpossibleTest.dyn_o ) [Agda.TypeChecking.Monad.Base changed]
[248 of 404] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Records.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Records.dyn_o )
[249 of 404] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Match.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Match.dyn_o )
[250 of 404] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Abstract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Abstract.dyn_o ) [Agda.Syntax.Abstract changed]
[251 of 404] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/MetaVars/Mention.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/MetaVars/Mention.dyn_o ) [Data.HashSet changed]
[252 of 404] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/EtaContract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/EtaContract.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[253 of 404] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce.dyn_o ) [Data.HashMap.Strict changed]
[254 of 404] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Telescope.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Telescope.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[255 of 404] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SyntacticEquality.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SyntacticEquality.dyn_o ) [Agda.Interaction.Options changed]
[256 of 404] Compiling Agda.TypeChecking.Patterns.Internal ( src/full/Agda/TypeChecking/Patterns/Internal.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Internal.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Internal.dyn_o ) [Agda.Syntax.Common changed]
[257 of 404] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Level.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Level.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[258 of 404] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/LevelConstraints.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/LevelConstraints.dyn_o ) [Agda.Syntax.Internal changed]
[259 of 404] Compiling Agda.TypeChecking.Level.Solve ( src/full/Agda/TypeChecking/Level/Solve.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Level/Solve.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Level/Solve.dyn_o ) [Agda.Interaction.Options changed]
[260 of 404] Compiling Agda.TypeChecking.Free.Reduce ( src/full/Agda/TypeChecking/Free/Reduce.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Free/Reduce.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Free/Reduce.dyn_o ) [Agda.Syntax.Common changed]
[261 of 404] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Forcing.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Forcing.dyn_o ) [Agda.Interaction.Options changed]
[262 of 404] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Empty.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Empty.dyn_o )
[263 of 404] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/DisplayForm.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/DisplayForm.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[264 of 404] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/DeadCode.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/DeadCode.dyn_o ) [Data.HashMap.Strict changed]
[265 of 404] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Conversion.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Conversion.dyn_o )
[266 of 404] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Match.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Match.dyn_o ) [Agda.Interaction.Options changed]
[267 of 404] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CheckInternal.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CheckInternal.dyn_o )
[268 of 404] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/RecCheck.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/RecCheck.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[269 of 404] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Translation/ReflectedToAbstract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Translation/ReflectedToAbstract.dyn_o ) [Agda.Interaction.Options changed]
[270 of 404] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Translation/InternalToAbstract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Translation/InternalToAbstract.dyn_o ) [Agda.Interaction.Options changed]
[271 of 404] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty.dyn_o ) [Agda.Syntax.Abstract changed]
[272 of 404] Compiling Agda.TypeChecking.Telescope.Path ( src/full/Agda/TypeChecking/Telescope/Path.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Telescope/Path.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Telescope/Path.dyn_o ) [Agda.Syntax.Common changed]
[273 of 404] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Display.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Display.dyn_o ) [Agda.Syntax.Abstract changed]
[274 of 404] Compiling Agda.TypeChecking.Pretty.Constraint[boot] ( src/full/Agda/TypeChecking/Pretty/Constraint.hs-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Constraint.o-boot, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Constraint.dyn_o )
[275 of 404] Compiling Agda.TypeChecking.Pretty.Call ( src/full/Agda/TypeChecking/Pretty/Call.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Call.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Call.dyn_o ) [Agda.Syntax.Abstract changed]
[276 of 404] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Irrelevance.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Irrelevance.dyn_o ) [Agda.Interaction.Options changed]
[277 of 404] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Records.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Records.dyn_o ) [Data.HashMap.Strict changed]
[278 of 404] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Problem.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Problem.dyn_o ) [Agda.Syntax.Abstract changed]
[279 of 404] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Match.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Patterns/Match.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[280 of 404] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Implicit.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Implicit.dyn_o ) [Agda.Syntax.Abstract changed]
[281 of 404] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Implicit.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Implicit.dyn_o ) [Agda.Syntax.Abstract changed]
[282 of 404] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_o ) [Agda.Syntax.Abstract changed]
[283 of 404] Compiling Agda.TypeChecking.Functions ( src/full/Agda/TypeChecking/Functions.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Functions.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Functions.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[284 of 404] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Datatypes.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Datatypes.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[285 of 404] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/RecordPatterns.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/RecordPatterns.dyn_o ) [Agda.Interaction.Options changed]
[286 of 404] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Positivity.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Positivity.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[287 of 404] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/ProjectionLike.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/ProjectionLike.dyn_o ) [Agda.Interaction.Options changed]
[288 of 404] Compiling Agda.TypeChecking.Sort ( src/full/Agda/TypeChecking/Sort.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Sort.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Sort.dyn_o ) [Agda.Interaction.Options changed]
[289 of 404] Compiling Agda.TypeChecking.Pretty.Warning ( src/full/Agda/TypeChecking/Pretty/Warning.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Warning.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Warning.dyn_o ) [Agda.Interaction.Options changed]
[290 of 404] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage/Match.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage/Match.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[291 of 404] Compiling Agda.TypeChecking.Conversion.Pure ( src/full/Agda/TypeChecking/Conversion/Pure.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Conversion/Pure.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Conversion/Pure.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[292 of 404] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/Monad.dyn_o ) [Agda.Benchmarking changed]
[293 of 404] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Errors.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Errors.dyn_o ) [Data.CaseInsensitive changed]
[294 of 404] Compiling Agda.TypeChecking.Pretty.Constraint ( src/full/Agda/TypeChecking/Pretty/Constraint.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Constraint.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Pretty/Constraint.dyn_o ) [Agda.Syntax.Abstract changed]
[295 of 404] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[296 of 404] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Polarity.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Polarity.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[297 of 404] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Injectivity.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Injectivity.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[298 of 404] Compiling Agda.TypeChecking.Names ( src/full/Agda/TypeChecking/Names.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Names.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Names.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[299 of 404] Compiling Agda.TypeChecking.Primitive.Base ( src/full/Agda/TypeChecking/Primitive/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Base.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[300 of 404] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Quote.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Quote.dyn_o ) [Agda.Syntax.Abstract changed]
[301 of 404] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Primitive/Cubical.dyn_o ) [Agda.Interaction.Options changed]
[302 of 404] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/NonLinPattern.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/NonLinPattern.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[303 of 404] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/NonLinMatch.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[304 of 404] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Primitive.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Primitive.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[305 of 404] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/InstanceArguments.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/InstanceArguments.dyn_o ) [Agda.Benchmarking changed]
[306 of 404] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Constraints.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Constraints.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[307 of 404] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/MetaVars/Occurs.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/MetaVars/Occurs.dyn_o ) [Agda.Benchmarking changed]
[308 of 404] Compiling Agda.TypeChecking.Lock ( src/full/Agda/TypeChecking/Lock.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Lock.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Lock.dyn_o ) [Agda.Interaction.Options changed]
[309 of 404] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/MetaVars.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/MetaVars.dyn_o ) [Agda.Interaction.Options changed]
[310 of 404] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/Solve.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/SizedTypes/Solve.dyn_o ) [Agda.Syntax.Common changed]
[311 of 404] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Conversion.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Conversion.dyn_o ) [Agda.Interaction.Options changed]
[312 of 404] Compiling Agda.TypeChecking.Rules.LHS.Unify.Types ( src/full/Agda/TypeChecking/Rules/LHS/Unify/Types.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify/Types.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify/Types.dyn_o ) [Agda.Benchmarking changed]
[313 of 404] Compiling Agda.TypeChecking.Rules.LHS.Unify.LeftInverse ( src/full/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify/LeftInverse.dyn_o ) [Agda.Benchmarking changed]
[314 of 404] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS/Unify.dyn_o ) [Agda.Benchmarking changed]
[315 of 404] Compiling Agda.TypeChecking.Rewriting.Confluence ( src/full/Agda/TypeChecking/Rewriting/Confluence.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/Confluence.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting/Confluence.dyn_o ) [Data.HashMap.Strict changed]
[316 of 404] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rewriting.dyn_o ) [Agda.Interaction.Options changed]
[317 of 404] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Fast.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Reduce/Fast.dyn_o ) [Agda.Interaction.Options changed]
[318 of 404] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/IApplyConfluence.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/IApplyConfluence.dyn_o ) [Agda.Interaction.Options changed]
[319 of 404] Compiling Agda.TypeChecking.Generalize ( src/full/Agda/TypeChecking/Generalize.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Generalize.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Generalize.dyn_o ) [Agda.Benchmarking changed]
[320 of 404] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Data.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Data.dyn_o ) [Agda.Syntax.Abstract changed]
[321 of 404] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CheckInternal.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CheckInternal.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[322 of 404] Compiling Agda.TypeChecking.ReconstructParameters ( src/full/Agda/TypeChecking/ReconstructParameters.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/ReconstructParameters.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/ReconstructParameters.dyn_o ) [Agda.Syntax.Common changed]
[323 of 404] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Unquote.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Unquote.dyn_o ) [Agda.Interaction.Library changed]
[324 of 404] Compiling Agda.TypeChecking.EtaExpand ( src/full/Agda/TypeChecking/EtaExpand.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/EtaExpand.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/EtaExpand.dyn_o ) [Agda.Syntax.Common changed]
[325 of 404] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Abstract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Abstract.dyn_o ) [Data.HashMap.Strict changed]
[326 of 404] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/With.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/With.dyn_o ) [Agda.Syntax.Abstract changed]
[327 of 404] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/TermCheck.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Termination/TermCheck.dyn_o ) [Agda.Benchmarking changed]
[328 of 404] Compiling Agda.Syntax.Internal.SanityCheck ( src/full/Agda/Syntax/Internal/SanityCheck.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/SanityCheck.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Internal/SanityCheck.dyn_o ) [Agda.Syntax.Internal changed]
[329 of 404] Compiling Agda.Syntax.IdiomBrackets ( src/full/Agda/Syntax/IdiomBrackets.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/IdiomBrackets.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/IdiomBrackets.dyn_o ) [Agda.Syntax.Common changed]
[330 of 404] Compiling Agda.Syntax.DoNotation ( src/full/Agda/Syntax/DoNotation.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/DoNotation.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/DoNotation.dyn_o ) [Agda.Syntax.Common changed]
[331 of 404] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Monad.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Monad.dyn_o ) [Agda.Interaction.Options.HasOptions changed]
[332 of 404] Compiling Agda.Interaction.JSON ( src/full/Agda/Interaction/JSON.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/JSON.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/JSON.dyn_o ) [Data.Aeson.Types changed]
[333 of 404] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Vim.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Vim.dyn_o ) [Agda.Syntax.Common changed]
[334 of 404] Compiling Agda.Interaction.Highlighting.FromAbstract ( src/full/Agda/Interaction/Highlighting/FromAbstract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/FromAbstract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/FromAbstract.dyn_o ) [Agda.Interaction.Highlighting.Precise changed]
[335 of 404] Compiling Agda.Interaction.Highlighting.Common ( src/full/Agda/Interaction/Highlighting/Common.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Common.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Common.dyn_o ) [Agda.Interaction.Highlighting.Precise changed]
[336 of 404] Compiling Agda.Compiler.Treeless.Unused ( src/full/Agda/Compiler/Treeless/Unused.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Unused.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Unused.dyn_o ) [Agda.Compiler.Treeless.Pretty changed]
[337 of 404] Compiling Agda.Compiler.Treeless.Simplify ( src/full/Agda/Compiler/Treeless/Simplify.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Simplify.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Simplify.dyn_o ) [Agda.Compiler.Treeless.Compare changed]
[338 of 404] Compiling Agda.Compiler.Treeless.NormalizeNames ( src/full/Agda/Compiler/Treeless/NormalizeNames.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/NormalizeNames.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/NormalizeNames.dyn_o ) [Agda.Syntax.Treeless changed]
[339 of 404] Compiling Agda.Compiler.Treeless.Identity ( src/full/Agda/Compiler/Treeless/Identity.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Identity.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Identity.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[340 of 404] Compiling Agda.Compiler.Treeless.Erase ( src/full/Agda/Compiler/Treeless/Erase.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Erase.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Erase.dyn_o ) [Agda.Compiler.Backend changed]
[341 of 404] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[342 of 404] Compiling Agda.Compiler.Treeless.EliminateDefaults ( src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/EliminateDefaults.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/EliminateDefaults.dyn_o ) [Agda.Compiler.Treeless.Subst changed]
[343 of 404] Compiling Agda.Compiler.Treeless.Builtin ( src/full/Agda/Compiler/Treeless/Builtin.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Builtin.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Treeless/Builtin.dyn_o ) [Agda.Compiler.Treeless.Subst changed]
[344 of 404] Compiling Agda.Compiler.MAlonzo.Coerce ( src/full/Agda/Compiler/MAlonzo/Coerce.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Coerce.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Coerce.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[345 of 404] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/CallCompiler.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/CallCompiler.dyn_o ) [Agda.TypeChecking.Monad changed]
[346 of 404] Compiling Agda.Interaction.Highlighting.JSON ( src/full/Agda/Interaction/Highlighting/JSON.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/JSON.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/JSON.dyn_o ) [Data.Aeson changed]
[347 of 404] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Generate.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Generate.dyn_o ) [Data.HashMap.Strict changed]
[348 of 404] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/LHS.dyn_o ) [Agda.Benchmarking changed]
[349 of 404] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Term.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Term.dyn_o ) [Agda.Interaction.Highlighting.Generate changed]
[350 of 404] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin.dyn_o ) [missing old dependency]
[351 of 404] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o ) [Agda.Syntax.Abstract changed]
[352 of 404] Compiling Agda.TypeChecking.Coverage.SplitClause ( src/full/Agda/TypeChecking/Coverage/SplitClause.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage/SplitClause.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage/SplitClause.dyn_o ) [Agda.Interaction.Options changed]
[353 of 404] Compiling Agda.TypeChecking.Coverage.Cubical ( src/full/Agda/TypeChecking/Coverage/Cubical.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage/Cubical.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage/Cubical.dyn_o ) [Agda.Interaction.Options changed]
[354 of 404] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Coverage.dyn_o ) [Agda.Interaction.Options changed]
[355 of 404] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Empty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Empty.dyn_o ) [Agda.Syntax.Common changed]
[356 of 404] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Compile.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[357 of 404] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Record.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Record.dyn_o ) [Agda.Interaction.Options changed]
[358 of 404] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Def.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Def.dyn_o ) [Agda.Benchmarking changed]
[359 of 404] Compiling Agda.Compiler.ToTreeless ( src/full/Agda/Compiler/ToTreeless.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/ToTreeless.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/ToTreeless.dyn_o ) [Agda.Compiler.Treeless.AsPatterns changed]
[360 of 404] Compiling Agda.TypeChecking.Rules.Application ( src/full/Agda/TypeChecking/Rules/Application.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Application.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Application.dyn_o ) [Agda.Interaction.Highlighting.Generate changed]
[361 of 404] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Decl.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Rules/Decl.dyn_o ) [Agda.Benchmarking changed]
[362 of 404] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TheTypeChecker.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TheTypeChecker.dyn_o ) [Agda.TypeChecking.Rules.Decl changed]
[363 of 404] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Emacs.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Emacs.dyn_o ) [Agda.Interaction.EmacsCommand changed]
[364 of 404] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/FindFile.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/FindFile.dyn_o ) [Agda.Benchmarking changed]
[365 of 404] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Common.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Common.dyn_o ) [Data.HashMap.Strict changed]
[366 of 404] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_o ) [Agda.Interaction.Highlighting.Precise changed]
[367 of 404] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Compilers.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_o ) [Agda.TypeChecking.Monad changed]
[368 of 404] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Internal.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Internal.dyn_o ) [Agda.Syntax.Internal changed]
[369 of 404] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Abstract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_o ) [Agda.Syntax.Abstract changed]
[370 of 404] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Errors.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances/Errors.dyn_o ) [Agda.Interaction.Library.Base changed]
[371 of 404] Compiling Agda.TypeChecking.Serialise.Instances ( src/full/Agda/TypeChecking/Serialise/Instances.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise/Instances.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[372 of 404] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/TypeChecking/Serialise.dyn_o ) [Data.HashTable.IO changed]
[373 of 404] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Translation/ConcreteToAbstract.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Syntax/Translation/ConcreteToAbstract.dyn_o ) [Agda.ImpossibleTest changed]
[374 of 404] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/BasicOps.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/BasicOps.dyn_o ) [Agda.Interaction.Base changed]
[375 of 404] Compiling Agda.Interaction.SearchAbout ( src/full/Agda/Interaction/SearchAbout.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/SearchAbout.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/SearchAbout.dyn_o ) [Agda.Interaction.Base changed]
[376 of 404] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/MakeCase.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/MakeCase.dyn_o ) [Agda.Interaction.BasicOps changed]
[377 of 404] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/Convert.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/Convert.dyn_o ) [Agda.Auto.CaseSplit changed]
[378 of 404] Compiling Agda.Auto.Auto   ( src/full/Agda/Auto/Auto.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/Auto.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Auto/Auto.dyn_o ) [Data.HashMap.Strict changed]
[379 of 404] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Imports.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Imports.dyn_o ) [Data.HashMap.Strict changed]
[380 of 404] Compiling Agda.Interaction.CommandLine ( src/full/Agda/Interaction/CommandLine.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/CommandLine.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/CommandLine.dyn_o ) [Agda.Interaction.Base changed]
[381 of 404] Compiling Agda.Compiler.Common ( src/full/Agda/Compiler/Common.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Common.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Common.dyn_o ) [Data.HashMap.Strict changed]
[382 of 404] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Misc.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Misc.dyn_o ) [Agda.Compiler.Common changed]
[383 of 404] Compiling Agda.Compiler.MAlonzo.Pragmas ( src/full/Agda/Compiler/MAlonzo/Pragmas.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Pragmas.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Pragmas.dyn_o ) [Agda.Compiler.Common changed]
[384 of 404] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Encode.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Encode.dyn_o ) [Agda.Compiler.MAlonzo.Misc changed]
[385 of 404] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Pretty.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Pretty.dyn_o ) [Agda.Compiler.MAlonzo.Encode changed]
[386 of 404] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Primitives.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Primitives.dyn_o ) [Data.HashMap.Strict changed]
[387 of 404] Compiling Agda.Compiler.MAlonzo.HaskellTypes ( src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/HaskellTypes.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/HaskellTypes.dyn_o ) [Agda.Compiler.MAlonzo.Misc changed]
[388 of 404] Compiling Agda.Compiler.Backend ( src/full/Agda/Compiler/Backend.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Backend.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Backend.dyn_o ) [Agda.Compiler.Common changed]
[389 of 404] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/InteractionTop.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/InteractionTop.dyn_o ) [Control.Concurrent.Async changed]
[390 of 404] Compiling Agda.Interaction.AgdaTop ( src/full/Agda/Interaction/AgdaTop.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/AgdaTop.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/AgdaTop.dyn_o ) [Agda.Interaction.Base changed]
[391 of 404] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/EmacsTop.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/EmacsTop.dyn_o ) [Agda.Interaction.AgdaTop changed]
[392 of 404] Compiling Agda.Interaction.JSONTop ( src/full/Agda/Interaction/JSONTop.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/JSONTop.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/JSONTop.dyn_o ) [Data.Aeson changed]
[393 of 404] Compiling Agda.Interaction.Highlighting.Dot.Backend ( src/full/Agda/Interaction/Highlighting/Dot/Backend.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Dot/Backend.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Dot/Backend.dyn_o ) [Agda.Compiler.Backend changed]
[394 of 404] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Dot.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/Dot.dyn_o ) [Agda.Interaction.Highlighting.Dot.Backend changed]
[395 of 404] Compiling Agda.Interaction.Highlighting.LaTeX.Base ( src/full/Agda/Interaction/Highlighting/LaTeX/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX/Base.dyn_o ) [Data.HashSet changed]
[396 of 404] Compiling Agda.Interaction.Highlighting.LaTeX.Backend ( src/full/Agda/Interaction/Highlighting/LaTeX/Backend.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX/Backend.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX/Backend.dyn_o ) [Agda.Compiler.Backend changed]
[397 of 404] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/LaTeX.dyn_o ) [Agda.Interaction.Highlighting.LaTeX.Backend changed]
[398 of 404] Compiling Agda.Interaction.Highlighting.HTML.Base ( src/full/Agda/Interaction/Highlighting/HTML/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML/Base.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML/Base.dyn_o ) [Agda.Interaction.Highlighting.Precise changed]
[399 of 404] Compiling Agda.Interaction.Highlighting.HTML.Backend ( src/full/Agda/Interaction/Highlighting/HTML/Backend.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML/Backend.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML/Backend.dyn_o ) [Agda.Compiler.Backend changed]
[400 of 404] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Interaction/Highlighting/HTML.dyn_o ) [Agda.Interaction.Highlighting.HTML.Backend changed]
[401 of 404] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Compiler.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/MAlonzo/Compiler.dyn_o ) [Data.HashSet changed]
[402 of 404] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/JS/Compiler.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/JS/Compiler.dyn_o ) [Agda.Compiler.Backend changed]
[403 of 404] Compiling Agda.Compiler.Builtin ( src/full/Agda/Compiler/Builtin.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Builtin.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Compiler/Builtin.dyn_o ) [Agda.Compiler.Backend changed]
[404 of 404] Compiling Agda.Main        ( src/full/Agda/Main.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Main.o, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/Agda/Main.dyn_o ) [Agda.Compiler.Backend changed]
ld: warning: directory not found for option '-L/usr/local/opt/icu4c/lib'
ld: warning: dylib (/opt/local/lib/libicuuc.dylib) was built for newer macOS version (11.2) than being linked (11.0)
ld: warning: dylib (/opt/local/lib/libicui18n.dylib) was built for newer macOS version (11.2) than being linked (11.0)
ld: warning: dylib (/opt/local/lib/libicudata.dylib) was built for newer macOS version (11.2) than being linked (11.0)
Preprocessing executable 'agda' for Agda-2.6.3..
Building executable 'agda' for Agda-2.6.3..
[1 of 1] Compiling Main             ( src/main/Main.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda/agda-tmp/Main.dyn_o ) [Agda.Main changed]
Linking /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda/agda ...
ld: warning: directory not found for option '-L/usr/local/opt/icu4c/lib'
ld: warning: dylib (/opt/local/lib/libicuuc.dylib) was built for newer macOS version (11.2) than being linked (11.0)
ld: warning: dylib (/opt/local/lib/libicui18n.dylib) was built for newer macOS version (11.2) than being linked (11.0)
ld: warning: dylib (/opt/local/lib/libicudata.dylib) was built for newer macOS version (11.2) than being linked (11.0)
Preprocessing test suite 'agda-tests' for Agda-2.6.3..
Building test suite 'agda-tests' for Agda-2.6.3..
[ 1 of 63] Compiling Internal.Helpers ( test/Internal/Helpers.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Helpers.dyn_o ) [Agda.Utils.List1 changed]
[ 2 of 63] Compiling Internal.Compiler.MAlonzo.Encode ( test/Internal/Compiler/MAlonzo/Encode.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Compiler/MAlonzo/Encode.dyn_o ) [Agda.Compiler.MAlonzo.Encode changed]
[ 3 of 63] Compiling Internal.Interaction.Library ( test/Internal/Interaction/Library.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Interaction/Library.dyn_o ) [Agda.Interaction.Library changed]
[ 4 of 63] Compiling Internal.Syntax.Common ( test/Internal/Syntax/Common.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Syntax/Common.dyn_o ) [Agda.Syntax.Common changed]
[ 5 of 63] Compiling Internal.Syntax.Internal ( test/Internal/Syntax/Internal.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Syntax/Internal.dyn_o ) [Agda.Syntax.Internal changed]
[ 6 of 63] Compiling Internal.Syntax.Parser.Parser ( test/Internal/Syntax/Parser/Parser.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Syntax/Parser/Parser.dyn_o ) [Agda.Syntax.Parser.Parser changed]
[ 7 of 63] Compiling Internal.Termination.Semiring ( test/Internal/Termination/Semiring.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Termination/Semiring.dyn_o ) [Internal.Helpers changed]
[ 8 of 63] Compiling Internal.Termination.Order ( test/Internal/Termination/Order.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Termination/Order.dyn_o ) [Agda.Termination.Order changed]
[ 9 of 63] Compiling Internal.Termination.SparseMatrix ( test/Internal/Termination/SparseMatrix.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Termination/SparseMatrix.dyn_o ) [Agda.Termination.SparseMatrix changed]
[10 of 63] Compiling Internal.Termination.CallMatrix ( test/Internal/Termination/CallMatrix.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Termination/CallMatrix.dyn_o ) [Agda.Termination.CallMatrix changed]
[11 of 63] Compiling Internal.Termination.CallGraph ( test/Internal/Termination/CallGraph.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Termination/CallGraph.dyn_o ) [Agda.Termination.CallGraph changed]
[12 of 63] Compiling Internal.Termination.Termination ( test/Internal/Termination/Termination.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Termination/Termination.dyn_o ) [Agda.Termination.CallGraph changed]
[13 of 63] Compiling Internal.TypeChecking.Free.Lazy ( test/Internal/TypeChecking/Free/Lazy.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Free/Lazy.dyn_o ) [Agda.TypeChecking.Free.Lazy changed]
[14 of 63] Compiling Internal.TypeChecking.Free ( test/Internal/TypeChecking/Free.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Free.dyn_o ) [Agda.Syntax.Common changed]
[15 of 63] Compiling Internal.TypeChecking.Generators ( test/Internal/TypeChecking/Generators.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Generators.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[16 of 63] Compiling Internal.TypeChecking ( test/Internal/TypeChecking.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking.dyn_o ) [Agda.Syntax.Internal changed]
[17 of 63] Compiling Internal.TypeChecking.Irrelevance ( test/Internal/TypeChecking/Irrelevance.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Irrelevance.dyn_o ) [Agda.Syntax.Common changed]
[18 of 63] Compiling Internal.TypeChecking.Monad.Base ( test/Internal/TypeChecking/Monad/Base.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Monad/Base.dyn_o ) [Agda.TypeChecking.Monad.Base changed]
[19 of 63] Compiling Internal.TypeChecking.Rules.LHS.Problem ( test/Internal/TypeChecking/Rules/LHS/Problem.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Rules/LHS/Problem.dyn_o ) [Agda.TypeChecking.Rules.LHS.Problem changed]
[20 of 63] Compiling Internal.TypeChecking.SizedTypes.Syntax ( test/Internal/TypeChecking/SizedTypes/Syntax.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/SizedTypes/Syntax.dyn_o ) [Agda.TypeChecking.SizedTypes.Syntax changed]
[21 of 63] Compiling Internal.TypeChecking.SizedTypes.WarshallSolver ( test/Internal/TypeChecking/SizedTypes/WarshallSolver.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/SizedTypes/WarshallSolver.dyn_o ) [Agda.TypeChecking.SizedTypes.Syntax changed]
[22 of 63] Compiling Internal.TypeChecking.SizedTypes ( test/Internal/TypeChecking/SizedTypes.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/SizedTypes.dyn_o ) [Agda.TypeChecking.SizedTypes.Syntax changed]
[23 of 63] Compiling Internal.TypeChecking.Substitute ( test/Internal/TypeChecking/Substitute.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Substitute.dyn_o ) [Agda.Syntax.Internal changed]
[24 of 63] Compiling Internal.Utils.AssocList ( test/Internal/Utils/AssocList.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/AssocList.dyn_o ) [Internal.Helpers changed]
[25 of 63] Compiling Internal.Utils.Bag ( test/Internal/Utils/Bag.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Bag.dyn_o ) [Internal.Helpers changed]
[26 of 63] Compiling Internal.Utils.BiMap ( test/Internal/Utils/BiMap.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/BiMap.dyn_o ) [Agda.Utils.BiMap changed]
[27 of 63] Compiling Internal.Utils.Either ( test/Internal/Utils/Either.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Either.dyn_o ) [Agda.Utils.Either changed]
[28 of 63] Compiling Internal.Utils.FileName ( test/Internal/Utils/FileName.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/FileName.dyn_o ) [Agda.Utils.FileName changed]
[29 of 63] Compiling Internal.Utils.IntSet ( test/Internal/Utils/IntSet.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/IntSet.dyn_o ) [Internal.Helpers changed]
[30 of 63] Compiling Internal.Utils.List ( test/Internal/Utils/List.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/List.dyn_o ) [Agda.Utils.List changed]
[31 of 63] Compiling Internal.Utils.ListT ( test/Internal/Utils/ListT.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/ListT.dyn_o ) [Agda.Utils.ListT changed]
[32 of 63] Compiling Internal.Utils.Maybe.Strict ( test/Internal/Utils/Maybe/Strict.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Maybe/Strict.dyn_o ) [Agda.Utils.Maybe.Strict changed]
[33 of 63] Compiling Internal.Syntax.Position ( test/Internal/Syntax/Position.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Syntax/Position.dyn_o ) [Agda.Syntax.Position changed]
[34 of 63] Compiling Internal.Syntax.Concrete.Name ( test/Internal/Syntax/Concrete/Name.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Syntax/Concrete/Name.dyn_o ) [Agda.Syntax.Concrete.Name changed]
[35 of 63] Compiling Internal.Syntax.Abstract.Name ( test/Internal/Syntax/Abstract/Name.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Syntax/Abstract/Name.dyn_o ) [Agda.Syntax.Abstract.Name changed]
[36 of 63] Compiling Internal.TypeChecking.Positivity.Occurrence ( test/Internal/TypeChecking/Positivity/Occurrence.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Positivity/Occurrence.dyn_o ) [Agda.TypeChecking.Positivity.Occurrence changed]
[37 of 63] Compiling Internal.Utils.Graph.AdjacencyMap.Unidirectional ( test/Internal/Utils/Graph/AdjacencyMap/Unidirectional.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Graph/AdjacencyMap/Unidirectional.dyn_o ) [Agda.TypeChecking.Positivity.Occurrence changed]
[38 of 63] Compiling Internal.TypeChecking.Positivity ( test/Internal/TypeChecking/Positivity.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/TypeChecking/Positivity.dyn_o ) [Agda.TypeChecking.Positivity changed]
[39 of 63] Compiling Internal.Interaction.Highlighting.Range ( test/Internal/Interaction/Highlighting/Range.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Interaction/Highlighting/Range.dyn_o ) [Agda.Interaction.Highlighting.Range changed]
[40 of 63] Compiling Internal.Utils.Monoid ( test/Internal/Utils/Monoid.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Monoid.dyn_o ) [Internal.Helpers changed]
[41 of 63] Compiling Internal.Utils.NonEmptyList ( test/Internal/Utils/NonEmptyList.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/NonEmptyList.dyn_o ) [Internal.Helpers changed]
[42 of 63] Compiling Internal.Utils.Cluster ( test/Internal/Utils/Cluster.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Cluster.dyn_o ) [Agda.Utils.Cluster changed]
[43 of 63] Compiling Internal.Utils.PartialOrd ( test/Internal/Utils/PartialOrd.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/PartialOrd.dyn_o ) [Internal.Helpers changed]
[44 of 63] Compiling Internal.Utils.Favorites ( test/Internal/Utils/Favorites.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Favorites.dyn_o ) [Agda.Utils.Favorites changed]
[45 of 63] Compiling Internal.Utils.Permutation ( test/Internal/Utils/Permutation.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Permutation.dyn_o ) [Agda.Utils.List changed]
[46 of 63] Compiling Internal.Utils.RangeMap ( test/Internal/Utils/RangeMap.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/RangeMap.dyn_o ) [Data.Strict.Tuple changed]
[47 of 63] Compiling Internal.Interaction.Highlighting.Precise ( test/Internal/Interaction/Highlighting/Precise.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Interaction/Highlighting/Precise.dyn_o ) [Agda.Interaction.Highlighting.Precise changed]
[48 of 63] Compiling Internal.Utils.SmallSet ( test/Internal/Utils/SmallSet.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/SmallSet.dyn_o ) [Internal.Helpers changed]
[49 of 63] Compiling Internal.Utils.Three ( test/Internal/Utils/Three.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Three.dyn_o ) [Internal.Helpers changed]
[50 of 63] Compiling Internal.Utils.Trie ( test/Internal/Utils/Trie.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Trie.dyn_o ) [Agda.Utils.Null changed]
[51 of 63] Compiling Internal.Utils.Warshall ( test/Internal/Utils/Warshall.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Utils/Warshall.dyn_o ) [Agda.Syntax.Common changed]
[52 of 63] Compiling Utils            ( test/Utils.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Utils.dyn_o ) [Test.Tasty.Silver.Advanced changed]
[53 of 63] Compiling Succeed.Tests    ( test/Succeed/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Succeed/Tests.dyn_o ) [Test.Tasty.Silver.Filter changed]
[54 of 63] Compiling UserManual.Tests ( test/UserManual/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/UserManual/Tests.dyn_o ) [Succeed.Tests changed]
[55 of 63] Compiling LibSucceed.Tests ( test/LibSucceed/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/LibSucceed/Tests.dyn_o ) [Test.Tasty.Silver.Filter changed]
[56 of 63] Compiling LaTeXAndHTML.Tests ( test/LaTeXAndHTML/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/LaTeXAndHTML/Tests.dyn_o ) [Test.Tasty.Silver.Filter changed]
[57 of 63] Compiling Internal.Interaction.Options ( test/Internal/Interaction/Options.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Interaction/Options.dyn_o ) [Agda.Interaction.Library changed]
[58 of 63] Compiling Internal.Tests   ( test/Internal/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Internal/Tests.dyn_o ) [Internal.Compiler.MAlonzo.Encode changed]
[59 of 63] Compiling Interactive.Tests ( test/Interactive/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Interactive/Tests.dyn_o ) [Agda.Utils.Monad changed]
[60 of 63] Compiling Fail.Tests       ( test/Fail/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Fail/Tests.dyn_o ) [Test.Tasty.Silver.Advanced changed]
[61 of 63] Compiling Compiler.Tests   ( test/Compiler/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Compiler/Tests.dyn_o ) [Test.Tasty.Silver.Filter changed]
[62 of 63] Compiling Bugs.Tests       ( test/Bugs/Tests.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Bugs/Tests.dyn_o ) [Test.Tasty.Silver.Advanced changed]
[63 of 63] Compiling Main             ( test/Main.hs, /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests-tmp/Main.dyn_o ) [Test.Tasty.Silver.Filter changed]
Linking /Users/ur20980/src/agda/dist-newstyle/build/x86_64-osx/ghc-9.0.1/Agda-2.6.3/build/agda-tests/agda-tests ...
ld: warning: directory not found for option '-L/usr/local/opt/icu4c/lib'
ld: warning: dylib (/opt/local/lib/libicui18n.dylib) was built for newer macOS version (11.2) than being linked (11.0)
ld: warning: dylib (/opt/local/lib/libicuuc.dylib) was built for newer macOS version (11.2) than being linked (11.0)
ld: warning: dylib (/opt/local/lib/libicudata.dylib) was built for newer macOS version (11.2) than being linked (11.0)