Releases around FStarLang/FStar v0.9.3.0-beta1 on GitHub

FStarLang/FStar on GitHub v0.9.3.0-beta1

EFForg/privacybadger on GitHub chrome-2016.9.7

Ray-future/LibreELEC.tv on GitHub 7.0.2.007

SimpleMobileTools/Simple-File-Manager on GitHub 1.4

nextcloud/bookmarks on GitHub v9.0.5RC2

nextcloud/server on GitLab v9.1.1RC2

firebase on Node.js Yarn 3.3.1

vim/vim on GitHub v7.4.2343

laravel/lumen on GitHub v5.3.0

gitlab/gitlab-ee on Docker Hub 8.11.5-ee.0

laravel/lumen-framework on PHP Packagist v5.3.0 v5.2.9 5.2.x-dev

nextcloud/server on GitLab v9.0.5RC2

mapstruct/mapstruct on GitHub 1.1.0.CR1

BranchMetrics/ios-branch-deep-linking-attribution on GitHub 0.12.7

chromium/chromium on GitHub 53.0.2785.103

org.openjdk.jmh:jmh-generator-annprocess on Java Maven 1.14

org.openjdk.jmh:jmh-core on Java Maven 1.14

nextcloud/bookmarks on GitHub v8.2.8RC2

ghost on Docker Hub 0.10.0

canonical/snapcraft on GitHub 2.16

kernel-team/linux on Debian GitLab debian/4.7.2-1_bpo8+1

nextcloud/server on GitLab v8.2.8RC2

Semantic-Org/Semantic-UI-React on GitHub v0.42.1

devbisme/skidl on GitHub 0.0.5

rluna-gitlab/gitlab-ce on GitLab v8.11.5

POV-Ray/povray on GitHub v3.7.1-alpha.8776412

udos86/ng-dynamic-forms on GitHub beta.15

better-sqlite3 on Node.js NPM 0.5.0

spring-projects/spring-session on GitHub 1.2.2.RELEASE

GetDKAN/dkan on GitHub 7.x-1.12.10