id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc	difficulty	ghcversion	platform
856	windows unicode problem with cabal list	guest		"C:\>cabal list dedukti

* dedukti
    Synopsis: A type-checker for the cabal.EXE: <stdout>: invalid argument

http://hackage.haskell.org/packages/archive/dedukti/1.1.4/dedukti.cabal

""A type-checker for the λΠ-modulo calculus."""	defect	new	normal	cabal-install-0.16	cabal-install tool	1.10.1.0	normal				unknown		Windows