Releases around FStarLang/FStar v2021.11.13 on GitHub

FStarLang/FStar on GitHub v2021.11.13

bitnami/mediawiki on Docker Hub 1.36.2-debian-10-r41

gogf/gf on GitHub v2.0.0-beta

sle118/squeezelite-esp32 on GitHub SqueezeAmp.32.751.master-cmake SqueezeAmp.16.751.master-cmake

helloklf/vtools on GitHub 4.7.2

cfug/dio on GitHub 4.0.2

sle118/squeezelite-esp32 on GitHub I2S-4MFlash.32.751.master-cmake I2S-4MFlash.16.751.master-cmake

homeassistant/raspberrypi3-64-homeassistant on Docker Hub 2021.12.0.dev20211114

homeassistant/raspberrypi3-homeassistant on Docker Hub 2021.12.0.dev20211114

homeassistant/raspberrypi4-homeassistant on Docker Hub 2021.12.0.dev20211114

homeassistant/raspberrypi4-64-homeassistant on Docker Hub 2021.12.0.dev20211114

tabledevil/kaspersky on Docker Hub 20211114

homeassistant/home-assistant on Docker Hub 2021.12.0.dev20211114

brave/brave-browser on GitHub v1.32.101

brave/brave-core on GitHub v1.32.101

linuxserver/docker-emulatorjs on GitHub 1.1.3-ls1

linuxserver/emulatorjs on Docker Hub 1.1.3 version-1.1.3 1.1.3-ls1 arm64v8-1.1.3 arm32v7-1.1.3 amd64-1.1.3 arm64v8-version-1.1.3 arm32v7-version-1.1.3 amd64-version-1.1.3 arm64v8-1.1.3-ls1 arm32v7-1.1.3-ls1 amd64-1.1.3-ls1

bitnami/redis-sentinel on Docker Hub 6.0.16-debian-10-r39

Icalingua-plus-plus/Icalingua-plus-plus on GitHub v2.4.1