merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE1a333166b6b8: de-applying
rISABELLEe25c0a6cc335: detect/guess arm32 platform (unsupported); - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- d3069e7e1175 proper usage;Author
- ed99d0f9b536 clarified;Author
- 374aafa52e92 clarified installed files;Author
- 5f17bf3709b8 clarified signature;Author
- 178cbf89780e updated for coming release;Author
- 9af8124f7f0d clarified platforms;Author
- 91f38e34aa3f updated to opam-2.0.7;Author