... | ... | @@ -36,4 +36,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, add a `date:` line to the "tags" section, 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 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 and links to the detailed CHANGELOGs. See [here](https://pad.ralfj.de/p/iris-3.5.0) for an example. If you feel like it, you can also put the announcement on https://coq.discourse.group. Post the announcement as a message to the Iris Helpdesk channel on Mattermost. |
|
|
\ 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 and links to the detailed CHANGELOGs. See [here](https://pad.ralfj.de/p/iris-3.5.0) or [here](https://coq.discourse.group/t/iris-4-0-and-std-1-8-released/1765) for an example. If you feel like it, you can also put the announcement on https://coq.discourse.group. Post the announcement as a message to the Iris Helpdesk channel on Mattermost. |
|
|
\ No newline at end of file |