Thu, 27 Feb 2025 11:52:11 UTC | login

Information for file /usr/share/doc/cduce-devel/tutorial_getting_started.html

Name/usr/share/doc/cduce-devel/tutorial_getting_started.html
Digest (sha256)a07855796f1b96a816004651ed2e68d94bf25f3c311dbddb7d5a09e649d463e8
Size17.04 KB
Modification timeThu, 30 Aug 2018 14:29:25 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcduce-devel-0.6.0-36.fc29.riscv64.rpm