DocumentationTree.gd

3.03 KB -rw-r--r--

RPM 27296

File

Name: /usr/share/gap/pkg/AutoDoc/gap/DocumentationTree.gd
Digest (sha256): 3dfbe851d2b902083f32e8eb5eecae13329c9a9763817a3886203d7e24187b62
Size: 3.03 KB
Modification time: Wed, 09 Sep 2026 00:00:00 UTC
Flags: none
RPM: gap-pkg-autodoc-2026.09.09-1.fc45.noarch.rpm