Maintainer Yuriy Al. Shirokov in the p10 branch: Information

Maintainer name: Yuriy Al. Shirokov (yushi)
Built source packages in this branch: 1
Last changes
polyml Feb. 14, 2019, 11:10 p.m. Feb. 14, 2019, 11:10 p.m.
Version: 5.4.1-alt4
Summary: Standard ML implementation
Changelog:
- no return statement in the non-void function fixed (according g++8)
Back to Top