Information for file /usr/lib/gap/pkg/edim/doc/manual.pdf
| Name | /usr/lib/gap/pkg/edim/doc/manual.pdf |
|---|---|
| Digest (sha256) | e9bd38616bca6f2f922edbc7fef6b7ca60fefe060283b224b3de6a545e0d3f72 |
| Size | 215.47 KB |
| Modification time | Fri, 27 Jul 2018 14:50:35 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
documentation |
| RPM | gap-pkg-edim-1.3.3-2.fc29.riscv64.rpm |
