Mon, 16 Dec 2024 22:43:06 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/semigroupoids-5.3.7/Data-Semigroupoid-Ob.html

Name/usr/share/doc/ghc/html/libraries/semigroupoids-5.3.7/Data-Semigroupoid-Ob.html
Digest (sha256)8cff792f06d71e7f4f44c30fbe113caff661dcf800c53546e4c950f9c639a234
Size5.54 KB
Modification timeSun, 25 Jun 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-semigroupoids-doc-5.3.7-5.rvre0.fc38.noarch.rpm