id	summary	owner	type	priority	version	os
5065	dph tests failing	benl	bug	high	7.1	Unknown/Multiple
5076	No instance Show [: Int :] in dph-diophantine-opt	chak	bug	normal	7.1	Unknown/Multiple