Comment 2 for bug 380289

Do you think people would be interested in 64bit binaries of Coccinella? If yes, the build script possibly can be updated to support such binaries: http://coccinella.svn.sourceforge.net/viewvc/coccinella/trunk/tools/build/BuildCoccinella.tcl?revision=2697&view=markup

PS: I don't have a 64bit desktop system; I only have access to a 64 bit server system...so I am not able to test these binaries...