File
- Name
- /usr/share/doc/ghc/html/libraries/skylighting-0.14.7/src/Skylighting.Syntax.Agda.html
- Digest (sha256)
- e5709486b05e6c334551b7cc083ff89f34190ac5210bc9abff1b05f726a8166b
- Size
- 12.80 KB
- Modification time
- Thu, 16 Jul 2026 00:00:00 UTC
- Flags
-
- documentation
- RPM
- ghc-skylighting-doc-0.14.7-17.fc45.noarch.rpm