Unofficial CRUX PortDB

Collection:baguette
Port:polyml
Version:5.8.2
Description:The Poly/ML compiler for Standard ML
URL:https://polyml.org/
Maintainer:Cory Burgett, cmburget at gmail dot com
Dependencies:
Health (prtverify):OK