Releases around FStarLang/FStar v0.9.2.0 on GitHub

FStarLang/FStar on GitHub v0.9.2.0

google/material-design-lite on GitHub v1.1.1

lodash-es on Node.js NPM 4.2.1

lsh123/xmlsec on GitHub xmlsec-1_2_11

phpro/grumphp on PHP Packagist v0.7.2

fr.inria.gforge.spoon:spoon-core on Java Maven 5.0.1

fsprojects/Paket on GitHub 2.49.0

pdfjs-dist on Node.js NPM 1.4.39

i18next on Node.js Yarn 2.0.26

i18next/i18next on GitHub 2.0.26

mozilla/pdfjs-dist on GitHub v1.4.39

fsprojects/Paket on GitHub 2.49.0-alpha001

apache/shardingsphere on GitHub 1.0.0

redoc on Node.js Yarn 0.5.1

fsevents on Node.js Yarn 1.0.7

soimort/you-get on GitHub v0.4.266

FOGProject/fog-client on GitHub 0.9.11

psprint/.priv-zinit-fork on GitHub v1.1.6

zdharma-continuum/zinit on GitHub v1.1.6

man-group/arctic on GitHub v1.20.0

PrismJS/prism on GitHub v1.4.1

ridgepole on Ruby Gems 0.6.4.beta6

ankidroid/Anki-Android on GitHub v2.6alpha11

tagspaces/tagspaces on GitHub v2.1.1

FarGroup/FarManager on GitHub builds/3.0.4538

brettwooldridge/HikariCP on GitHub HikariCP-2.4.4-RC1

you-get on Python PyPI 0.4.266

SonarSource/sonar-java on GitHub 3.10-M9

canonical/snapcraft on GitHub 2.1.1

org.redisson:redisson on Java Maven 2.2.7

ruby-kafka on Ruby Gems 0.1.0

PurpleI2P/i2pd on GitHub 2.4.0