Sun, 24 Nov 2024 23:57:26 UTC | login

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

Name/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.03.md
Digest (sha256)64f0c274d3b9c3f65a65e0836d51b02491776bf9bd50469744dc78086abc7a80
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