Information for file /usr/include/ginac/flags.h
| Name | /usr/include/ginac/flags.h |
|---|---|
| Digest (sha256) | d31dc2d65f6f3a4457c5456c4b8c61002ef6e1b5ae176f9be397eba2c9bcf4f8 |
| Size | 10.02 KB |
| Modification time | Mon, 01 Jan 2018 19:01:42 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ginac-devel-1.7.4-4.fc29.riscv64.rpm |
