Information for file petri-nets.tar.xz
| Name | petri-nets.tar.xz |
|---|---|
| Digest (sha256) | 7b9fa414035b0286793e2306c0420bedd8b4b946b401feaa758c3476114a87e5 |
| Size | 7.71 KB |
| Modification time | Wed, 07 Mar 2018 21:34:09 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | texlive-base-7:20180414-12.1.riscv64.fc29.src.rpm |
