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

Maybe you can find something interesting in this list
github
nvaccess/nvda on GitHub release-2025.2rc1
github
chromium/chromium on GitHub 141.0.7352.2
github
pytorch/pytorch on GitHub trunk/32e5e2f596d55bb9441d5d53f3c58bcb55828047
github
pytorch/pytorch on GitHub ciflow/trunk/160398
github
dart-lang/sdk on GitHub 3.10.0-88.0.dev
ghcr
immich-app/immich-machine-learning on GitHub Container Registry commit-a1698a6b2540796d4ff8b15ee3c06f2ef4243ac2-rocm
npm
@nx/angular on Node.js NPM 21.4.0-canary.20250812-d2a0593
npm
nx on Node.js NPM 21.4.0-canary.20250812-d2a0593
npm
react-native on Node.js NPM 0.82.0-nightly-20250812-677ee671d
yarn
react-native on Node.js Yarn 0.82.0-nightly-20250812-677ee671d
github
pytorch/pytorch on GitHub ciflow/trunk/160352 ciflow/inductor/160352
dockerhub
linuxserver/foldingathome on Docker Hub arm64v8-8.4.9-ls174 amd64-8.4.9-ls174

Don't miss a new release

NewReleases is sending notifications on new releases.