Wed, 27 Nov 2024 16:53:27 CST | login

Information for file /usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc

Name/usr/share/idris-1.3.4/libs/base/Data/Mod2.ibc
Digest (sha256)f5c3b1eb72bff2ea5538ebc47d454806db70bf8a9a42a1f2f8b8b7f39e0e0597
Size25.29 KB
Modification timeMon, 22 Jul 2024 12:28:20 CST
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMidris-common-1.3.4-1.ocs23.noarch.rpm