Tue, 03 Aug 2021 21:42:22 UTC

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

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