Tue, 27 Jul 2021 10:10:41 UTC

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

Name/usr/share/Agda-stdlib/src/Algebra/Properties/DistributiveLattice.agda
Digest (sha256)3c3aae05a51aa828fcc2d791def92a00cea56c3173eca923339e2ebc65d3742a
Size3397
Modification timeMon, 12 Mar 2018 15:43:14 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-stdlib-0.15-4.fc28.aarch64.rpm