Thu, 12 Dec 2024 15:02:17 UTC | login

Information for file idris-1.3.4.tar.gz

Nameidris-1.3.4.tar.gz
Digest (sha256)86d4dd4ce373a4843ae7c2541bed499660c7cedb141dc9ea15eeae5898cdbc38
Size1.64 MB
Modification timeMon, 25 Oct 2021 10:40:49 UTC
Userroot
Grouproot
Mode-rw-rw-r--
Flags
RPMidris-1.3.4-17.fc41.src.rpm