Fri, 29 Nov 2024 19:01:45 UTC | login

Information for file /usr/share/gap/pkg/GAPDoc/lib/BibXMLextTools.gi

Name/usr/share/gap/pkg/GAPDoc/lib/BibXMLextTools.gi
Digest (sha256)8cba8306c1199610db056ede5c4a62433b21d4b5c9e569ab02f35272e53dccc3
Size64.51 KB
Modification timeWed, 21 Feb 2024 16:44:57 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMGAPDoc-1.6.7-2.fc40.noarch.rpm