Rocq-Platform-Starter v1.1.0

Cross-platform GUI installer for Rocq Platform 2025.08.1 (Rocq 9.0.0).

Installation

Windows

Download signed_rocq-platform-starter.exe and run it.

macOS (Apple Silicon)

Download signed_Rocq-Platform-Starter-2026.04.1.dmg, open the DMG and drag the app to Applications.

Linux (x86_64)

chmod +x rocq-platform-starter-linux-x86_64
./rocq-platform-starter-linux-x86_64              # run directly
./rocq-platform-starter-linux-x86_64 --install    # install as desktop app

What's changed

• feat: renaming and fix bug when open doctor windows for the first time (0298be8)
• Rename project from 'rocq-bootstrap' to 'rocq-platform-starter' (14e2d0e)
• Update project status badge in README.md (c0c01f3)

Full changelog: v1.0.0...v1.1.0

SHA256 checksums

e61d292c70e8896e8f94f48b1022adb5bac3793a55fc49c067a54447a73e72d0  rocq-platform-starter-windows-x86_64.exe
8ed256491f8981eff047949223c20ca99fe3230b60c5f91fd23261298a6aa805  rocq-platform-starter-macos-arm64.dmg
16f92bf6a6ac8a3cc1f364e8b76cec8dfcd6498a22a8473ba14d39c9f8c5f5bc  rocq-platform-starter-linux-x86_64

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

v0.1.0-beta — Initial Public Beta

rocq-bootstrap v0.1.0-beta

Initial public beta release of rocq-bootstrap.

rocq-bootstrap is a helper tool designed to simplify the installation and configuration of the Rocq Platform, especially for students, teachers, and new users.

It does not replace the Rocq Platform.
It relies on the official package-pick and keeps the Platform as the single source of truth regarding package selection and Rocq versions.

---

✨ Features

• Interactive selection of Rocq Platform releases
• Package selection interface based on the official package-pick
• Automated installation workflow
• VSCode configuration assistance
• Workspace initialization support
• Cross-platform support (Linux and Windows)

---

⚠ Current limitations

• macOS installer is not signed yet (Gatekeeper restrictions apply)
• Minor UI color adjustments still needed
• Some macOS-specific issues under investigation

---

📦 Included binaries

• Windows installer (.exe)
• Linux archive

---

🎯 Status

This is a beta release intended for early feedback and testing.
API and UX may evolve based on community feedback.