{"name":"idris2Packages.idris2","summary":"Purely functional programming language with first class types","description":"","homepage_url":"https://github.com/idris-lang/Idris2","license":"BSD-3-Clause","attribute_paths":["idris2Packages.idris2"],"releases":[{"version":"0.8.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"idris2Packages.idris2","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/awpacvgsj46bhq0jjkk6811ldvlw4f38-idris2-wrapped-0.8.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"idris2Packages.idris2","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/naiwnnagg6iw1a903ljc2a4f3ia4i7qm-idris2-wrapped-0.8.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"idris2Packages.idris2","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/xb4qcafadkgaz06x9v76hpfhqv6mck72-idris2-wrapped-0.8.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}