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 v3.21
Repository community
Architecture x86_64
Size 296.8KiB
Installed size 1.1MiB
Origin polyml
Maintainer Sören Tempel
Build time 2024-07-09 17:16:00
Commit be072d239855470f5f443a53e57dcb6001ba724c
Merge request 67177
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)