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