Package details
Package | mercury-doc |
---|---|
Version | 22.01.8-r1 |
Description | Compiler for the Mercury language (documentation) |
Project | https://www.mercurylang.org |
License | GPL-2.0-only |
Branch | edge |
Repository | community |
Architecture | armv7 |
Size | 36.3KiB |
Installed size | 88.0KiB |
Origin | mercury |
Maintainer | Clayton Craft |
Build time | 2023-09-26 21:35:46 |
Commit | 0403a0395692e6bc82121c6cbb5842f0ec09079e | Merge request | 52331 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |