I
Available onDirect Download
Runtime
native
Size
501 MB
Architecture
x64
Dependencies
1
1 categories
Idris is a native app (—) that uses 1 detected dependencies across 1 categories including Compression. It is not code-signed. 501 MB on Windows (x64). Last verified June 2026.
What is Idris built with?
1 detected dependencies across 1 categories.
Compression
1Sign up to see Compression details
Sign Up FreeWhen was Idris last updated?
1 tracked releases since June 2026.
Latest: —
June 23, 2026
Last verified June 23, 2026