Information for file clingo-5.4.1.tar.gz
Name | clingo-5.4.1.tar.gz |
---|---|
Digest (sha256) | ac6606388abfe2482167ce8fd4eb0737ef6abeeb35a9d3ac3016c6f715bfee02 |
Size | 2.69 MB |
Modification time | Sun, 07 Mar 2021 14:11:13 UTC |
User | mockbuild |
Group | mock |
Mode | -rw-rw-r-- |
Flags | |
RPM | clingo-5.4.1-1.fc33.src.rpm |