Sun, 03 Nov 2024 21:52:19 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/vector-space-0.16/meta.json

Name/usr/share/doc/ghc/html/libraries/vector-space-0.16/meta.json
Digest (sha256)71f388d2c3676298f4b2fcc7b0b4b57d12431815f59f3c3d342e7294a1963a29
Size28.00 B
Modification timeSat, 29 Jul 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-vector-space-doc-0.16-17.fc40.noarch.rpm