... | ... | @@ -10,7 +10,7 @@ First, create a std++ release. The process is nearly the same except you should |
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag. (See `git tag --list` output for the tag naming scheme.)
|
|
|
- [ ] (for someone with access to the website hosting) Update the Iris appendix PDF (e.g., https://plv.mpi-sws.org/iris/appendix-3.6.pdf), then update https://iris-project.org at https://github.com/logsem/iris-project.
|
|
|
- [ ] (for a maintainer) Bump the version number in the tex files.
|
|
|
- [ ] Submit a PR to https://github.com/coq/opam for the new opam packages. You can try using https://gist.github.com/tchajed/20635813aec53677c65d482c1b1bb834, which automates this process.
|
|
|
- [ ] Submit a PR to https://github.com/coq/opam for the new opam packages. You can try using [this script](https://gitlab.mpi-sws.org/iris/iris/-/snippets/1704), which automates this process.
|
|
|
- Clone that repository.
|
|
|
- `cd` to `released/packages/coq-stdpp`, create a new subfolder `coq-stdpp.$VERSION`.
|
|
|
- Copy the `coq-stdpp.opam` file from the std++ 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 (substituting the appropriate tag and checksum):
|
... | ... | |