Fri, 13 Dec 2024 04:38:59 UTC | login

Information for file clingo-5.6.2.tar.gz

Nameclingo-5.6.2.tar.gz
Digest (sha256)81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be
Size4.84 MB
Modification timeSat, 12 Nov 2022 08:18:06 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMclingo-5.6.2-8.fc40.src.rpm