Skip to content

v0.1.0-beta — Initial Public Beta

Pre-release
Pre-release

Choose a tag to compare

View all tags
@Justme0606 Justme0606 released this 03 Mar 12:57
· 23 commits to main since this release
v0.1.0-beta
fb508ef
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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.

Assets 5
Loading