Sat, 31 Jul 2021 10:32:56 UTC

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

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