Releases around diffblue/cbmc cbmc-4.7 on GitHub

Maybe you can find something interesting in this list
sourceforge
swissfileknife on SourceForge 1-swissfileknife/1.6.9/sfk169-mac.dmg
sourceforge
vlc on SourceForge 2.1.3/vlc-2.1.3.tar.xz.asc 2.1.3/vlc-2.1.3.tar.xz.sha256 2.1.3/vlc-2.1.3.tar.xz.sha1 2.1.3/vlc-2.1.3.tar.xz.md5
sourceforge
vlc on SourceForge 2.1.3/vlc-2.1.3.tar.xz
github
meteor/meteor on GitHub release/shark-1-29-2014-e
sourceforge
portableapps/Pidgin Portable on SourceForge Additional Versions/PidginPortable_2.10.8.paf.exe
github
awgn/cgrep on GitHub v6.0-BETA
github
apache/cxf on GitHub cxf-2.6.12

Don't miss a new release

NewReleases is sending notifications on new releases.