fedora

Information for file Agda.spec

NameAgda.spec
Digest (sha256)15baae31f3d1c5c3cdda0c83c02732e42af500f6293169e2b9e988a9dbb45206
Size21.64 KB
Modification timeMon, 20 Jan 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-2.6.4.3-53.fc42.src.rpm