Fri, 29 Mar 2024 08:33:22 CET | login

Information for file /usr/share/doc/ghc/html/libraries/void-0.5.11/src/Data-Void.html

Name/usr/share/doc/ghc/html/libraries/void-0.5.11/src/Data-Void.html
Digest (sha256)7bff12b7b7a5d3b303f1f7d63da0de652773eac24b2cf9a71e8e42f9d46cd1a4
Size9648
Modification timeFri, 02 Dec 2016 08:39:13 CET
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-void-devel-0.5.11-3.el7.x86_64.rpm