Releases around AbsInt/CompCert v3.0 on GitHub

Maybe you can find something interesting in this list
gitlab
openconnect/ocserv on GitLab ocserv_0_11_7
github
gnutls/gnutls on GitHub gnutls_3_5_9
gitlab
gnutls/gnutls on GitLab gnutls_3_5_9
sourceforge
mpcbe on SourceForge MPC-BE/Nightly Builds (from svn trunk)/1.5.1 (build 2332) beta/MPC-BE.1.5.1.2332.x86-installer.zip MPC-BE/Nightly Builds (from svn trunk)/1.5.1 (build 2332) beta/MPC-BE.1.5.1.2332.x86.7z MPC-BE/Nightly Builds (from svn trunk)/1.5.1 (build 2332) beta/MPC-BE.1.5.1.2332.x86-pdb.7z MPC-BE/Nightly Builds (from svn trunk)/1.5.1 (build 2332) beta/MPC-BE.1.5.1.2332.x64-installer.zip MPC-BE/Nightly Builds (from svn trunk)/1.5.1 (build 2332) beta/MPC-BE.1.5.1.2332.x64.7z MPC-BE/Nightly Builds (from svn trunk)/1.5.1 (build 2332) beta/MPC-BE.1.5.1.2332.x64-pdb.7z MPC-BE/Nightly Builds (from svn trunk)/1.5.1 (build 2332) beta/standalone_filters-mpc-be.1.5.1.2332.x86.7z MPC-BE/Nightly Builds (from svn trunk)/1.5.1 (build 2332) beta/standalone_filters-mpc-be.1.5.1.2332.x64.7z
github
ppy/osu on GitHub v0.0.4
github
h2oai/h2o-3 on GitHub jenkins-master-3780

Don't miss a new release

NewReleases is sending notifications on new releases.