Tue, 27 Jul 2021 09:27:13 UTC

Information for file /usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agdai

Name/usr/share/Agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agdai
Digest (sha256)edc2d129f8565462a9ea6b96c5408d0c8e438bfa7a5b287bc90b10197ca2555f
Size157612
Modification timeWed, 29 Aug 2018 04:39:34 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm