Sat, 15 Jun 2024 15:17:23 UTC | login

Information for file agda-stdlib-1.3.tar.gz

Nameagda-stdlib-1.3.tar.gz
Digest (sha256)573036cc097ed00a6d7c81c5af8b5b2350a94a3c6b9af03b5ce459cf269388ca
Size733.80 KB
Modification timeFri, 26 Jun 2020 17:14:10 UTC
Usermockbuild
Groupmock
Mode-rw-rw-r--
Flags
RPMAgda-stdlib-1.3-3.fc33.src.rpm