Source: agda Version: 2.2.6-3 Severity: serious User: debian-h...@lists.debian.org Usertags: hppa
The agda build reliably hangs on hppa, but the included watcher continues to generate output - blocking the buildd until manually killed. The logs are available at: https://buildd.debian.org/build.cgi?pkg=agda;ver=2.2.6-3;arch=hppa Here's a snippet of one of the failures: [...] Watcher: Tick. buildd 10751 0.0 0.0 1916 668 ? S Mar02 0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc buildd 10841 0.0 0.0 24408 12240 ? S Mar02 0:02 debian/hlibrary.setup build --builddir=dist-ghc6 buildd 10894 88.1 1.6 289856 264488 ? R Mar02 317:06 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F Watcher: Tick. buildd 10751 0.0 0.0 1916 668 ? S Mar02 0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc buildd 10841 0.0 0.0 24408 12240 ? S Mar02 0:02 debian/hlibrary.setup build --builddir=dist-ghc6 buildd 10894 88.2 1.6 289856 264488 ? R Mar02 326:23 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F Watcher: Tick. buildd 10751 0.0 0.0 1916 668 ? S Mar02 0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc buildd 10841 0.0 0.0 24408 12240 ? S Mar02 0:02 debian/hlibrary.setup build --builddir=dist-ghc6 buildd 10894 88.3 1.6 289856 264488 ? R Mar02 335:39 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F Watcher: Tick. buildd 10751 0.0 0.0 1916 668 ? S Mar02 0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc buildd 10841 0.0 0.0 24408 12240 ? S Mar02 0:02 debian/hlibrary.setup build --builddir=dist-ghc6 buildd 10894 88.4 1.6 289856 264488 ? R Mar02 344:55 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F Watcher: Tick. buildd 10751 0.0 0.0 1916 668 ? S Mar02 0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc buildd 10841 0.0 0.0 24408 12240 ? S Mar02 0:02 debian/hlibrary.setup build --builddir=dist-ghc6 buildd 10894 88.6 1.6 289856 264488 ? R Mar02 354:12 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F Watcher: Tick. buildd 10751 0.0 0.0 1916 668 ? S Mar02 0:00 sh debian/watcher.sh 10664 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6 /build/buildd-agda_2.2.6-3-hppa-z192cT/agda-2.2.6/build-stamp ghc buildd 10841 0.0 0.0 24408 12240 ? S Mar02 0:02 debian/hlibrary.setup build --builddir=dist-ghc6 buildd 10894 88.7 1.6 289856 264488 ? R Mar02 363:29 /usr/lib/ghc-6.12.1/lib/ghc -B/usr/lib/ghc-6.12.1 --make -package-name Agda-2.2.6 -hide-all-packages -fbuilding-cabal-package -no-user-package-conf -i -idist-ghc6/build -isrc/full -idist-ghc6/build/autogen -Idist-ghc6/build/autogen -Idist-ghc6/build -optP-include -optPdist-ghc6/build/autogen/cabal_macros.h -odir dist-ghc6/build -hidir dist-ghc6/build -stubdir dist-ghc6/build -package-id QuickCheck-2.1.0.2-3a7de25345ef06788abd935f73327990 -package-id array-0.3.0.0-dbdf73710a5bd9a534e8bcb2d8c8ee98 -package-id base-4.2.0.0-d24242f5106769c4de4e8134b6a9870c -package-id binary-0.5.0.2-107b6fd231bd1e5052fe5d1b98e05185 -package-id bytestring-0.9.1.5-0dd4aff675d67ffafb719ae1a6a95fae -package-id containers-0.3.0.0-409fe3b8f0dda25b98e03716d26be411 -package-id directory-1.0.1.0-6bad9fc4adac2805f1c48b77aa091a33 -package-id filepath-1.1.0.3-07812de93a673f50011d47451bcaac87 -package-id haskeline-0.6.2.2-b0ffaf2e21bd535bc2e7ba5 894fb4d24 -package-id haskell-src-1.0.1.3-6f583e83bf54a6ca0d07a352de5e8f4d -package-id mtl-1.1.0.2-23ca4de7c573fd4df309067199a40634 -package-id old-time-1.0.0.3-878152af8c419bd5c9ec4dd7085b7577 -package-id pretty-1.0.1.1-2bfa34c699efff7eed4d6297a2dac12d -package-id process-1.0.1.2-a680e19e566d188a65a10f76c8422813 -package-id syb-0.1.0.2-1e7e0c316929641cb3237a60e3b63680 -package-id xhtml-3000.2.0.1-ea3a4199dcbbc6ec1b5f633d4df96ce2 -package-id zlib-0.5.2.0-b96bdf8b31c306d60b63dbb26a49d3a4 -O -auto-all -w -Werror -fwarn-dodgy-imports -fwarn-duplicate-exports -fwarn-hi-shadowing -fwarn-incomplete-patterns -fwarn-missing-fields -fwarn-missing-methods -fwarn-overlapping-patterns -fwarn-warnings-deprecations -fwarn-deprecated-flags -fwarn-dodgy-foreign-imports -fwarn-wrong-do-bind -fwarn-dodgy-exports -XCPP Agda.Main Agda.Interaction.BasicOps Agda.Interaction.GhciTop Agda.Compiler.Agate.Classify Agda.Compiler.Agate.Common Agda.Compiler.Agate.Main Agda.Compiler.Agate.OptimizedPrinte r Agda.Compiler.Agate.TranslateName Agda.Compiler.Agate.UntypedPrinter Agda.Compiler.Alonzo.Main Agda.Compiler.Alonzo.Names Agda.Compiler.Alonzo.Haskell Agda.Compiler.Alonzo.PatternMonad Agda.Compiler.HaskellTypes Agda.Compiler.MAlonzo.Compiler Agda.Compiler.MAlonzo.Encode Agda.Compiler.MAlonzo.Misc Agda.Compiler.MAlonzo.Pretty Agda.Compiler.MAlonzo.Primitives Agda.Interaction.CommandLine.CommandLine Agda.Interaction.Exceptions Agda.Interaction.FindFile Agda.Interaction.Highlighting.Emacs Agda.Interaction.Highlighting.Generate Agda.Interaction.Highlighting.HTML Agda.Interaction.Highlighting.Precise Agda.Interaction.Highlighting.Range Agda.Interaction.Highlighting.Vim Agda.Interaction.Imports Agda.Interaction.MakeCase Agda.Interaction.Monad Agda.Interaction.Options Agda.Syntax.Abstract.Name Agda.Syntax.Abstract.Pretty Agda.Syntax.Abstract.Views Agda.Syntax.Abstract Agda.Syntax.Common Agda.Syntax.Concrete.Definitions Agda.Syntax.Concrete.Name Agda.Syntax.Concrete.Operators.Par ser Agda.Syntax.Concrete.Operators Agda.Syntax.Concrete.Pretty Agda.Syntax.Concrete Agda.Syntax.Fixity Agda.Syntax.Info Agda.Syntax.Internal Agda.Syntax.Internal.Generic Agda.Syntax.Internal.Pattern Agda.Syntax.Literal Agda.Syntax.Parser.Alex Agda.Syntax.Parser.Comments Agda.Syntax.Parser.Layout Agda.Syntax.Parser.LexActions Agda.Syntax.Parser.Lexer Agda.Syntax.Parser.LookAhead Agda.Syntax.Parser.Monad Agda.Syntax.Parser.Parser Agda.Syntax.Parser.StringLiterals Agda.Syntax.Parser.Tokens Agda.Syntax.Parser Agda.Syntax.Position Agda.Syntax.Scope.Base Agda.Syntax.Scope.Monad Agda.Syntax.Strict Agda.Syntax.Translation.AbstractToConcrete Agda.Syntax.Translation.ConcreteToAbstract Agda.Syntax.Translation.InternalToAbstract Agda.Termination.CallGraph Agda.Termination.Lexicographic Agda.Termination.Matrix Agda.Termination.Semiring Agda.Termination.TermCheck Agda.Termination.Termination Agda.Tests Agda.TypeChecker Agda.TypeChecking.Abstract Agda.TypeChecking.Constraints Agda.TypeChec king.Conversion Agda.TypeChecking.Coverage Agda.TypeChecking.Coverage.Match Agda.TypeChecking.DisplayForm Agda.TypeChecking.Empty Agda.TypeChecking.EtaContract Agda.TypeChecking.Errors Agda.TypeChecking.F sbuild received SIGTERM -- shutting down Purging /var/lib/schroot/mount/sid-hppa-sbuild-70da9817-3b42-4fce-bb9d-f0f57c4df869/build/buildd-agda_2.2.6-3-hppa-z192cT make: *** [build-ghc6-stamp] Terminated -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
