Releases around FStarLang/FStar v2021.10.16 on GitHub

Maybe you can find something interesting in this list
github
FStarLang/FStar on GitHub v2021.10.16
github
ccxt/ccxt on GitHub 1.58.38
github
formatjs/formatjs on GitHub vue-intl@6.0.13 react-intl@5.20.13 intl-messageformat@9.9.3 eslint-plugin-formatjs@2.17.9 babel-plugin-formatjs@10.3.10 @formatjs/ts-transformer@3.5.1 @formatjs/intl@1.14.3 @formatjs/intl-relativetimeformat@9.3.2 @formatjs/intl-pluralrules@4.1.5 @formatjs/intl-numberformat@7.2.5 @formatjs/intl-locale@2.4.39 @formatjs/intl-listformat@6.3.5 @formatjs/intl-displaynames@5.2.5 @formatjs/intl-datetimeformat@4.2.5 @formatjs/icu-skeleton-parser@1.3.0 @formatjs/icu-messageformat-parser@2.0.13 @formatjs/editor@1.1.32 @formatjs/ecma402-abstract@1.10.0 @formatjs/cli@4.3.2
dockerhub
bitnami/external-dns on Docker Hub 0.10.0-debian-10-r10

Don't miss a new release

NewReleases is sending notifications on new releases.