Rocq: Difference between revisions
Update for nixpkgs 26.05 |
m subtitle typo |
||
| Line 29: | Line 29: | ||
In the same way of ''rocqPackages'', a ''coqPackages'' packages set is available to go with the ''coq'' compatibility package. | In the same way of ''rocqPackages'', a ''coqPackages'' packages set is available to go with the ''coq'' compatibility package. | ||
== RocqIDE | == RocqIDE == | ||
Using the RocqIDE can be done by adding a flag to the ''coq'' compatibility package asking to also build the IDE. Here is a command spawning a nix shell having the IDE and running it (last tested in July 2026, on nixpkgs 26.05): | Using the RocqIDE can be done by adding a flag to the ''coq'' compatibility package asking to also build the IDE. Here is a command spawning a nix shell having the IDE and running it (last tested in July 2026, on nixpkgs 26.05): | ||