Wed, 19 Jun 2024 18:05:28 UTC | login

Information for file /usr/share/Agda-stdlib/src/Algebra/Consequences/Base.agda

Name/usr/share/Agda-stdlib/src/Algebra/Consequences/Base.agda
Digest (sha256)acadb6ba4c557aef98f2e344c07fe68e7f22835f312ea330c27dafc6f7d22413
Size752.00 B
Modification timeMon, 16 Mar 2020 08:36:31 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-1.3-3.fc33.noarch.rpm