... | ... | @@ -33,5 +33,4 @@ First, create a std++ release. The process is nearly the same except you should |
|
|
- Copy the `coq-iris-heap-lang.opam` file from the Iris repo into that folder, rename it to `opam`, and edit it: remove the `version:` line, and add a new section at the end identical to the one in the `coq-iris` package.
|
|
|
- `git add` and `git commit` your changes.
|
|
|
- `opam repo add` this repo and test that the new versions build.
|
|
|
- [ ] Announce the new release (for Iris and std++ together) on the [Coq Discourse](https://coq.discourse.group/c/announcements/8). The announcement usually has the highlights from the Iris CHANGELOG.
|
|
|
- [ ] Announce the new release (for Iris and std++ together) on coq-club@inria.fr, iris-club@lists.mpi-sws.org. The announcement usually has the highlights from the Iris CHANGELOG. If you feel like it, you can also put the announcement on https://coq.discourse.group. |
|
|
\ No newline at end of file |
|
|
- [ ] Announce the new release (for Iris and std++ together) on coq-club@inria.fr, iris-club@lists.mpi-sws.org. The announcement has the highlights from the Iris CHANGELOG and Coq version support information as well as the list of contributors. See [here](https://sympa.inria.fr/sympa/arc/coq-club/2021-02/msg00043.html) for an example. If you feel like it, you can also put the announcement on https://coq.discourse.group. |
|
|
\ No newline at end of file |