Maintainer Yuriy Al. Shirokov in the p10 branch: Information
Maintainer name: Yuriy Al. Shirokov (yushi)
Built source packages in this branch: 1
Built source packages in this branch: 1
Last changes
polyml Feb 14, 2019, 11:10 PM | Feb 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) |