Releases around FStarLang/FStar v2022.01.08 on GitHub

FStarLang/FStar on GitHub v2022.01.08

mpv-player-windows on SourceForge 64bit/mpv-x86_64-20220109-git-777628e.7z 32bit/mpv-i686-20220109-git-777628e.7z libmpv/mpv-dev-x86_64-20220109-git-777628e.7z libmpv/mpv-dev-i686-20220109-git-777628e.7z

homeassistant/raspberrypi3-64-homeassistant on Docker Hub 2022.2.0.dev20220109

homeassistant/raspberrypi4-homeassistant on Docker Hub 2022.2.0.dev20220109

homeassistant/raspberrypi4-64-homeassistant on Docker Hub 2022.2.0.dev20220109

homeassistant/raspberrypi3-homeassistant on Docker Hub 2022.2.0.dev20220109

homeassistant/home-assistant on Docker Hub 2022.2.0.dev20220109

typefully/minimal-twitter on GitHub v4.0.13

zauberzeug/nicegui on GitHub v0.6.12

pypa/hatch on GitHub hatch-v1.0.0rc8

bitnami/redis-exporter on Docker Hub 1.33.0-debian-10-r18

bitnami/redis-sentinel on Docker Hub 6.2.6-debian-10-r92

bitnami/redmine on Docker Hub 4.2.3-debian-10-r82

swiftDialog/swiftDialog on GitHub v1.9.0-preview

bitnami/redis-sentinel on Docker Hub 5.0.14-debian-10-r92

manjaro-sway/manjaro-sway on GitHub 202201090253

GNOME/nautilus on GNOME GitLab 42.alpha

bitnami/memcached-exporter on Docker Hub 0.9.0-debian-10-r265

bitnami/elasticsearch-curator on Docker Hub 5.8.4-debian-10-r234

ccxt/ccxt on GitHub 1.66.57

tabledevil/kaspersky on Docker Hub 20220109

mezz/JustEnoughItems on GitHub v9.2.0 v9.2.1

juice-shop/juice-shop on GitHub v13.1.0

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

bitnami/bitnami-docker-elasticsearch-curator on GitHub 5.8.4-debian-10-r234

bitnami/mongodb-exporter on Docker Hub 0.11.2-debian-10-r392

bitnami/blackbox-exporter on Docker Hub 0.19.0-debian-10-r228

ytdl-patched/ytdl-patched on GitHub 1641695915