Mon, 02 Aug 2021 10:22:58 UTC

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

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