Rocq Bootstrap v1.0.0

Cross-platform GUI installer for Rocq Platform 2025.08.2 (Rocq 9.0.1).

Installation

Windows

Download signed_rocq-bootstrap.exe and run it.

macOS (Apple Silicon)

Download signed_Rocq-Bootstrap-release-2026.04.1.dmg, open the DMG and drag the app to Applications.

Linux (x86_64)

chmod +x rocq-bootstrap
./rocq-bootstrap              # run directly
./rocq-bootstrap --install    # install as desktop app

What's changed

• fix: solved issue with macos black mode env (76100b1)
• doc: add documentation, readme and screenshots (e84c1ce)
• refactor: reduce code duplication across the three installers (923d80d)
• ci: change to manualy sign action (a5a0f79)
• ci: add process to macos signature (9f17117)
• fix: correct order in a list of release (da83126)
• docs: update README (7ea8161)

Full changelog: v0.1.0-beta...v1.0.0

SHA256 checksums

b86791be0ebf301d020f4b7949bc216d91ba207d4f9d17c7301f8ff88d12713b  signed_rocq-bootstrap.exe
8e862eabce6789b52bcc25de9ae32a32117ad5e8d83aa03d7b552c369cfff01d  signed_Rocq-Bootstrap-release-2026.04.1.dmg
a87f8f2afc58d008f88f30626da5e8f212a9608846525621bb46cc92725e3e7f  rocq-bootstrap-linux-x86_64