Sun, 24 Nov 2024 23:18:22 UTC | login

Information for file /usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.md

Name/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.md
Digest (sha256)7add1cdb5c134b31065472c9b4e38fb4570f2d4de7007fc5d6200fdc13bc4318
Size54.17 KB
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