Sun, 26 Sep 2021 16:38:58 UTC

Information for file /usr/share/dejagnu/tip.exp

Name/usr/share/dejagnu/tip.exp
Digest (sha256)2d5a70a9b8884dc978bb1b26c71a969cd09ec15dff8bd61df285f95124eda9c3
Size4287
Modification timeMon, 13 May 2019 23:24:08 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMdejagnu-1:1.6.1-2.el8.noarch.rpm