Information for file /usr/share/doc/ghc/html/libraries/idris-1.3.4/CITATION.md

Name/usr/share/doc/ghc/html/libraries/idris-1.3.4/CITATION.md
Digest (sha256)45ef692a9f8edbebae9c657c05ccc6765da8f248209243b36bc7d17ede688357
Size809.00 B
Modification timeMon, 05 Aug 2024 13:43:57 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-idris-doc-1.3.4-1.oc9.noarch.rpm