#990661 polyml: Consider making 'libpolyml-dev' a dependent package

Package:
polyml
Source:
polyml
Description:
interpreter and interactive compiler for Standard ML
Submitter:
William Mitchell Jr
Date:
2021-07-04 06:18:04 UTC
Severity:
wishlist
#990661#5
Date:
2021-07-04 06:14:54 UTC
From:
To:
Dear Maintainer,

Since the Poly/ML compiler 'polyc' is included in the 'polyml' package, please
consider including 'libpolyml-dev' as a dependent package because
'polyc' is usesless without it.

Thanks,
William