--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on May 2015 ---
Hi, The file frama-c-Sodium-20150201.tar.gz has some duplicate entries: gunzip < frama-c-Sodium-20150201.tar.gz | bsdtar -t | \ sort | uniq -c | sort -n ... 2 frama-c-Sodium-20150201/src/memory_state/inout_type.mli where the second entry is a symbolic link to the first. I don't get it but this seems to be a common bug. GNU tar ignores it, bsdtar doesn't and fails. I think the -h option of gtar when creating the archive would stop the symlink duplicates from being included. I'm building Frama-C with pkgsrc on OS X and I don't have much control over the bsdtar command, so I would really appreciate it if you could rebuild the archive for us. Yours, Mansour