Releases around FStarLang/FStar v0.9.1.1 on GitHub

Maybe you can find something interesting in this list
github
samba-team/samba on GitHub samba-4.1.21
github
pinpoint-apm/pinpoint on GitHub 1.1.2-SNAPSHOT-2015-10-13_18-16-23
github
pinpoint-apm/pinpoint on GitHub 1.1.2-SNAPSHOT-2015-10-13_18-03-27
gnome-gitlab
GNOME/gnome-logs on GNOME GitLab gnome-logs-3.18.1
github
MISP/MISP on GitHub v2.3.141
debian-gitlab
science-team/dune-grid on Debian GitLab debian/2.4.0-1.bpo8+1
debian-gitlab
science-team/dune-istl on Debian GitLab debian/2.4.0-1.bpo8+1
debian-gitlab
science-team/dune-common on Debian GitLab debian/2.4.0-1.bpo8+1

Don't miss a new release

NewReleases is sending notifications on new releases.