Fri, 04 Oct 2024 08:38:03 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/vector-space-0.16/src/Data.Cross.html

Name/usr/share/doc/ghc/html/libraries/vector-space-0.16/src/Data.Cross.html
Digest (sha256)29637522e5a53e15aea00f8e2a64ad969d23e1f799012e8edc772cd855745690
Size49.32 KB
Modification timeMon, 05 Aug 2024 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-vector-space-doc-0.16-22.fc41.noarch.rpm