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 PMFeb 14, 2019, 11:10 PM
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