Information for file /usr/share/doc/ghc/html/libraries/timeit-2.0/src/System.TimeIt.html
| Name | /usr/share/doc/ghc/html/libraries/timeit-2.0/src/System.TimeIt.html |
|---|---|
| Digest (sha256) | d20e465f07d3e6043eb9c78758f1c2d02de05330ff4170709882ed0a94908303 |
| Size | 20.52 KB |
| Modification time | Mon, 23 Sep 2024 14:37:02 CST |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | ghc-timeit-doc-2.0-1.oc9.noarch.rpm |
