Hackage :: [Package]

• Search 
• Browse
• What's new
• Upload
• User accounts

Build reports for idris-0.9.3

Status: Built successfully.

No.	Outcome			Compiler	OS	Arch	Flags	Details
	Install	Docs	Tests
#1	DependencyFailed haskeline-0.4	NotTried	NotTried	ghc-7.6.3	linux	x86_64	none	More details
#2	DependencyFailed haskeline-0.4	NotTried	NotTried	ghc-7.8.3	linux	x86_64	none	More details
#3	DependencyFailed haskeline-0.4	NotTried	NotTried	ghc-7.10.2	linux	x86_64	none	More details
#4	DependencyFailed haskeline-0.4	NotTried	NotTried	ghc-7.10.2	linux	x86_64	none	More details
#5	DependencyFailed haskeline-0.4	NotTried	NotTried	ghc-7.10.2	linux	x86_64	none	More details
#6	PlanningFailed	NotTried	NotTried	ghc-8.0.1.20161018	linux	x86_64	none	More details
#7	PlanningFailed	NotTried	NotTried	ghc-8.0.1.20161018	linux	x86_64	none	More details