Wed, 11 Dec 2024 12:42:55 UTC | login

Information for file /usr/share/idris-1.3.4/libs/base/Control/Monad/Identity.ibc

Name/usr/share/idris-1.3.4/libs/base/Control/Monad/Identity.ibc
Digest (sha256)fcbf8981baae3f82073223c5ee82fbcd170374456ede280a7637622b7562bd91
Size19.89 KB
Modification timeFri, 17 Feb 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMidris-common-1.3.4-6.fc38.noarch.rpm