Fri, 31 May 2024 23:56:57 UTC | login

Information for file /usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Debug/Trace.agdai

Name/usr/share/Agda-stdlib/_build/2.6.2.2/agda/README/Debug/Trace.agdai
Digest (sha256)117f77e9c5d6ae5283be5b4c35a426288c7cc2c3dc68bdf80b6794f0899c6e5c
Size43.04 KB
Modification timeWed, 20 Jul 2022 19:13:56 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-1.7.1-3.fc37.noarch.rpm