Sun, 16 Jun 2024 01:23:17 UTC | login

Information for file /usr/share/idris-1.3.4/docs/base/docs/Decidable.Equality.html

Name/usr/share/idris-1.3.4/docs/base/docs/Decidable.Equality.html
Digest (sha256)c46de1a99e2ee7f9e6eab59aa45f3851a1d452946b2d3f3a0a95ced4b5cbd09a
Size13.94 KB
Modification timeFri, 17 Feb 2023 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMidris-docs-1.3.4-6.fc38.noarch.rpm