Tue, 27 Jul 2021 19:30:09 UTC

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

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