{"name":"idris2Packages.idris2","version":"0.8.0","summary":"Purely functional programming language with first class types","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"idris2Packages.idris2"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/awpacvgsj46bhq0jjkk6811ldvlw4f38-idris2-wrapped-0.8.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"idris2Packages.idris2"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/naiwnnagg6iw1a903ljc2a4f3ia4i7qm-idris2-wrapped-0.8.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"idris2Packages.idris2"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/xb4qcafadkgaz06x9v76hpfhqv6mck72-idris2-wrapped-0.8.0","default":true}]}}}