id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
725	libsoftfloat should support __aeabi_fcmple	Jakub Jermář		Some coastline [http://ci.helenos.org/build-144/logs/coastline-build-jainja-for-arm32-gta02.log builds] are currently failing due to missing implementation of `__aeabi_fcmple`.	defect	closed	major	0.7.2	helenos/lib/softfloat	mainline	fixed