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) | |