Releases around FStarLang/FStar v2026.07.05 on GitHub

FStarLang/FStar on GitHub v2026.07.05

marph91/jimmy on GitHub v1.1.26

Zibri/VICE on GitHub r46170u

andrew-waters/orchard on GitHub v1.12.6

BtbN/FFmpeg-Builds on GitHub autobuild-2026-07-05-15-08

erigontech/erigon on Docker Hub main-26c1559

opencode-ai on Node.js NPM 0.0.0-beta-202607051440

autobrr/mkbrr on GitHub v1.24.0

arnesacnussem/jellyfin-plugin-meilisearch on GitHub 1.12.1.3

chromium/chromium on GitHub 152.0.7933.2

facefusion/facefusion on GitHub 3.7.1

SwiftList/SwiftList on GitHub v2.5.8

Matteo842/SaveState on GitHub v2.8

@umijs/core on Node.js NPM 4.6.71

FaFre/WebLibre on GitHub v0.20.0-alpha-13

yandexru45/netshift on GitHub 0.9.5

apache/superset on Docker Hub GHA-dev-28744018364 GHA-28744018364 3303d4e-dev 3303d4e09ef15af1dc6f65a505bbb9509fbfb3f5-dev

octopusreview/octopus on GitHub v1.0.30

umijs/umi on GitHub v4.6.71

seazon/FeedMe on GitHub 4.9.8

OneUptime/oneuptime on GitHub build-number-7593

jpsdr/MKVToolnix-Windows-7 on GitHub release-100.0

mbunkus/mkvtoolnix on Codeberg release-100.0

KometTeam/Komet on GitHub v0.5.0-dev.13

errbit/errbit on Docker Hub 0.11.2

unchihugo/FluentFlyout on GitHub v2.13.0

staoran/PiliPlus on GitHub 2.0.9.2-27

harvester/harvester on GitHub v1.9.0-dev-20260705

CVEProject/cvelistV5 on GitHub cve_2026-07-05_1400Z