Tue, 27 Jul 2021 10:23:16 UTC

Information for file /usr/share/doc/Agda-stdlib-docs/LICENCE

Name/usr/share/doc/Agda-stdlib-docs/LICENCE
Digest (sha256)224e30f7abcb8ae40a04d108c8f14864a7eec9292d930bd81d98f52c5c87bd6d
Size1523
Modification timeFri, 14 Nov 2014 23:18:11 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMAgda-stdlib-docs-0.9-3.fc24.noarch.rpm