Package details
Package polyml-dev
Version 5.9-r0
Description ML97 compatible Standard ML implementation (development files)
Project https://www.polyml.org/
License LGPL-2.1-only
Branch v3.18
Repository community
Architecture armv7
Size 281.3KiB
Installed size 832.0KiB
Origin polyml
Maintainer Sören Tempel
Build time 2023-01-12 08:48:38
Commit 4a8d50fed5f175eef804a8770a0286d2bea88a22
Merge request N/A
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)