Package details
Package polyml-dev
Version 5.8.1-r0
Description ML97 compatible Standard ML implementation (development files)
Project https://www.polyml.org/
License LGPL-2.1-only
Branch edge
Repository testing
Architecture armv7
Size 256.59 kB
Installed size 756 kB
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 (2)
Required by (0)
Sub Packages (2)