Information for file /usr/share/Agda-2.6.4.3/JS/agda-rts.amd.js

Name/usr/share/Agda-2.6.4.3/JS/agda-rts.amd.js
Digest (sha256)3d60cd4fb52e8af5b4dabf2336e32b5a1b6084c53f2532108a53c99685a4e0dd
Size10.35 KB
Modification timeMon, 20 Jan 2025 00:00:00 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMAgda-common-2.6.4.3-53.fc42.noarch.rpm