Package details
Package polyml
Version 5.8.1-r0
Description ML97 compatible Standard ML implementation
Project https://www.polyml.org/
License LGPL-2.1-only
Branch edge
Repository testing
Architecture armv7
Size 2.05 MB
Installed size 6.61 MB
Origin polyml
Maintainer None
Build time 2020-07-20 23:26:56
Commit 090949f9949d89c6ca4a45617bf11676b4683c11
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (5)
Required by (1)
Sub Packages (2)