Releases around FStarLang/FStar v0.9.5.0 on GitHub

FStarLang/FStar on GitHub v0.9.5.0

plotly on Python PyPI 2.0.15

mopub/mopub-android-sdk on GitHub v4.16.0

pdfjs-dist on Node.js NPM 1.9.462

mozilla/pdfjs-dist on GitHub v1.9.462

LigerShark.WebOptimizer.Core on .NET NuGet 1.0.153-beta

mapsme/omim on GitHub beta-974

com.amazonaws:jmespath-java on Java Maven 1.11.182

@angular/cli on Node.js NPM 1.4.0-rc.0

com.amazonaws:aws-java-sdk-s3 on Java Maven 1.11.182

com.amazonaws:aws-java-sdk-bom on Java Maven 1.11.182

com.amazonaws:aws-java-sdk-sts on Java Maven 1.11.182

com.amazonaws:aws-java-sdk-ses on Java Maven 1.11.182

com.amazonaws:aws-java-sdk-sns on Java Maven 1.11.182

com.amazonaws:aws-java-sdk-cloudfront on Java Maven 1.11.182

com.amazonaws:aws-java-sdk-route53 on Java Maven 1.11.182

com.amazonaws:aws-java-sdk-core on Java Maven 1.11.182

@angular/cli on Node.js NPM 1.3.2

showdown on Node.js NPM 1.7.3

percona on Docker Hub 5.6.36

showdownjs/showdown on GitHub 1.7.3

rewiremock on Node.js NPM 2.0.0

vim/vim on GitHub v8.0.0992

appium/appium on Docker Hub 1.6.6-beta-p2

hydrusnetwork/hydrus on GitHub v270

ghost on Docker Hub 1.7.0-alpine 1.7.0

twurple/twurple on GitHub v0.5.2

buildroot/buildroot on GitHub 2017.08-rc3

vim/vim on GitHub v8.0.0991

twurple/twurple on GitHub v0.5.1

clarkio/azure-mask on GitHub 1.0.0