Information for file /usr/share/pari/seadata/sea727.gz
| Name | /usr/share/pari/seadata/sea727.gz |
|---|---|
| Digest (sha256) | a43f24ece6955f8610010f792882f7ba93a1b9db6044b56d53e5ac4f9df934f3 |
| Size | 3.60 MB |
| Modification time | Tue, 13 Dec 2016 21:49:52 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | pari-seadata-big-20090618-15.fc31.noarch.rpm |
