Sun, 24 Nov 2024 23:27:51 UTC | login

Information for file /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.04.md

Name/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.04.md
Digest (sha256)5043309586d012fa385d7f9b4ef5ea39e9468af4683ab5d010a43d9ff467fcdc
Size217.00 B
Modification timeMon, 16 Mar 2020 08:36:31 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMAgda-stdlib-docs-1.3-4.fc33.noarch.rpm