Package details
Package polyml-dev
Version 5.9.1-r0
Description ML97 compatible Standard ML implementation (development files)
Project https://www.polyml.org/
License LGPL-2.1-only
Branch edge
Repository community
Architecture armv7
Size 291.7KiB
Installed size 864.0KiB
Origin polyml
Maintainer Sören Tempel
Build time 2023-09-21 08:10:46
Commit 32ff52c1d09be5e70719a2f033d5986817766db8
Merge request 51995
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (2)
Required by (0)
Sub Packages (2)
Provides (1)
Install if (0)