Information for file /usr/lib/gap/pkg/groupoids/doc/manual.js
Name | /usr/lib/gap/pkg/groupoids/doc/manual.js |
---|---|
Digest (sha256) | |
Size | 29.00 B |
Modification time | Wed, 28 Sep 2022 20:58:37 UTC |
User | root |
Group | root |
Mode | lrwxrwxrwx |
Flags | |
RPM | gap-pkg-groupoids-doc-1.71-1.fc37.noarch.rpm |