devel/ocaml-lacaml: update 7.1.3 -> 7.1.5
PR: 197423
Submitted by: Kato Tsuguru <tkato432@yahoo.com>
Description
Description
Details
Details
- Provenance
robak Authored on - Parents
- rP381778: Fix ports missed in r381777, which changed DISTNAME for USE_GITHUB+GH_TAGNAME,
- Branches
- Unknown
- Tags