Wed, 27 Nov 2024 15:20:48 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)165cab351b506b50e942c44ddd12327969596c02eb4a94c5b21902dc32a4e3e2
Size5.52 KB
Modification timeSat, 29 Jul 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-semigroupoids-doc-5.3.7-6.fc40.noarch.rpm