Wed, 04 Dec 2024 12:48:45 UTC | login

Information for file clingo-5.6.1.tar.gz

Nameclingo-5.6.1.tar.gz
Digest (sha256)fd94a8eadb0051abd0b7176e228404eeb93e0ad70307913a608aa4aa978fabec
Size3.56 MB
Modification timeSun, 18 Sep 2022 08:48:06 UTC
Usermockbuild
Groupmock
Mode-rw-rw-r--
Flags
RPMclingo-5.6.1-1.fc37.src.rpm