I
Available onDirect Download
Runtime
native
Size
501 MB
Architecture
x64
Dependencies
1
1 categories
Scanned
2 weeks ago
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). Scanned 2 weeks ago.
What is Idris built with?
1 detected dependencies across 1 categories.
Compression
1Sign up to see Compression details
Sign Up FreeDot shows detection confidence; hover a technology for its evidence source. Higher confidence means a stronger extraction signal (e.g. a manifest entry vs. a binary string match).
Analyzed binary
SHA-256 of the exact binary Idris was analyzed from.
SHA-256
03db99f8e49544f39e37905ff099014fb02b623554d6f7739d33bc9fda50deacScanned 2 weeks ago