Tue, 03 Aug 2021 21:18:11 UTC

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

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