/usr/bin/idris-codegen-javascript
42.40 MB
-rwxr-xr-x
File
- Name
- /usr/bin/idris-codegen-javascript
- Digest (sha256)
- ecf568c96b56a49444d1e2ecb6b7f5ebbe5300e70ce49cb5b11a9f3aba07c6d1
- Size
- 42.40 MB
- Modification time
- Thu, 16 Jul 2026 00:00:00 UTC
- Flags
- none
- RPM
- idris-1.3.4-27.fc45.riscv64.rpm