Information for file /usr/lib64/swipl-8.0.3/library/jpl.pl
| Name | /usr/lib64/swipl-8.0.3/library/jpl.pl |
|---|---|
| Digest (sha256) | 982b4969f9fcc89b8180b774d1a9c2d0e133ca75b97bca3bb4ba882810f4ce5b |
| Size | 143.99 KB |
| Modification time | Tue, 30 Jul 2019 22:23:22 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | pl-jpl-8.0.3-2.fc31.rvre0.riscv64.rpm |
