| Name: | idris2-doc |
|---|---|
| Version: | 0.7.0 |
| Release: | 4.el10_1 |
| Architecture: | noarch |
| Group: | Unspecified |
| Size: | 2967159 |
| License: | BSD-3-Clause |
| RPM: | idris2-doc-0.7.0-4.el10_1.noarch.rpm |
| Source RPM: | idris2-0.7.0-4.el10_1.src.rpm |
| Build Date: | Tue Sep 23 2025 |
| Build Host: | build-ol10-x86_64.oracle.com |
| Vendor: | Oracle America |
| URL: | https://www.idris-lang.org |
| Summary: | Idris2 documentation |
| Description: | The package contains the idris2 manual |