Mon, 04 Nov 2024 01:07:27 UTC | login

Information for file /usr/share/doc/ghc/html/libraries/doctest-0.17/src/Options.html

Name/usr/share/doc/ghc/html/libraries/doctest-0.17/src/Options.html
Digest (sha256)18b457ddef80de6e98ec92fdf2fa8e9c45742cc012592c1a4e2e71e788f2b23b
Size62.89 KB
Modification timeSat, 29 Oct 2022 09:00:41 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMghc-doctest-doc-0.17-5.fc37.noarch.rpm