tchajed/Set up Rocq
Install Rocq through opam
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| rocq-version | The version of Rocq to install (latest, weekly, dev, or full version like 9.1.0) | — | latest |
| opam-repositories | Additional opam repositories to add (YAML name:url object) | no | "" |
| cache-key-opam-files | Opam files to use for cache key. Separate patterns with newlines. | no | *.opam |
Outputs
no outputs