/usr/bin/agda | File Info | koji

Information for file /usr/bin/agda

Name	/usr/bin/agda
Digest (sha256)	4664a37001014d135ba0598b05b09d10b5ffbb32f0c91fa91da00367bd659b4f
Size	80.48 MB
Modification time	Mon, 20 Jan 2025 00:00:00 UTC
User	root
Group	root
Mode	-rwxr-xr-x
Flags
RPM	Agda-2.6.4.3-53.fc42.riscv64.rpm