/usr/share/doc/wxmaxima/wxmaxima.de.html
125.41 KB
-rw-r--r--
File
- Name
- /usr/share/doc/wxmaxima/wxmaxima.de.html
- Digest (sha256)
- 68f18926e28e99df0f0508ee153906016f04e6f20780787f30af1fdf4cc579a9
- Size
- 125.41 KB
- Modification time
- Wed, 12 Aug 2026 00:00:00 UTC
- Flags
-
- documentation
- RPM
- wxMaxima-26.08.0-1.fc45.riscv64.rpm