Releases around HOL-Theorem-Prover/HOL trindemossen-1 on GitHub

HOL-Theorem-Prover/HOL on GitHub trindemossen-1

amazon/aws-for-fluent-bit on Docker Hub init-amd64-2.32.2.20230422 amd64-debug-2.32.2.20230422 amd64-2.32.2.20230422

MystenLabs/sui on GitHub sui_v1.24.0_1714040777_ci sui_v1.24.0_1714025101_rel_notes

kubernetes-sigs/kwok on GitHub v0.5.2

tabledevil/kaspersky on Docker Hub 20240425

erxes/erxes on GitHub 1.8.2

datawhores/OF-Scraper on GitHub 3.9.2

mkdocs-material on Python PyPI 9.5.19

squidfunk/mkdocs-material on GitHub 9.5.19

microsoft/fluentui on GitHub @fluentui/web-components_v3.0.0-beta.13

greenbone/cert-bund-data on Docker Hub 202404250407

eclipse-jdtls/eclipse.jdt.ls on GitHub v1.35.0

mattermost/desktop on GitHub 5.8.0-nightly.20240425

dart-lang/sdk on GitHub 3.5.0-99.0.dev

eko5624/mpv-winbuild on GitHub 2024-04-25

SeleniumHQ/docker-selenium on GitHub selenium-grid-0.30.0 4.20.0-20240425

selenium/standalone-chrome on Docker Hub 124.0-20240425 124.0-chromedriver-124.0-20240425 124.0-chromedriver-124.0-grid-4.20.0-20240425 124.0.6367.78 124.0.6367.78-20240425 124.0.6367.78-chromedriver-124.0.6367.78 124.0.6367.78-chromedriver-124.0.6367.78-20240425 124.0.6367.78-chromedriver-124.0.6367.78-grid-4.20.0-20240425

greghesp/ha-bambulab on GitHub v2.0.20

selenium/standalone-chrome on Docker Hub 4.20.0-20240425

selenium/node-docker on Docker Hub 4.20.0-20240425

stevencohn/OneMore on GitHub 6.2.1