Sat, 06 Jul 2024 02:23:57 UTC | login

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

Name/usr/share/doc/ghc/html/libraries/semigroupoids-5.3.7/src/Data.Semigroupoid.Categorical.html
Digest (sha256)304811234a6b9be21482a633e9a7e823d99e70809389810d6d783945302a5c19
Size19.35 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