[Android-tools-devel] Bug#746176: Conflicting declarations of function sparse_crc32

[Komal Sukhani]

Package: android-tools
Compiler: goto-cc 5.0
Architecture: amd64

I am also getting similar issue while compiling using goto-cc which I
installed using
'apt-get install cbmc'
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/android-tools-devel/attachments/20150418/629fb0ea/attachment.html>