{"name":"agda","version":"2.6.4","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"agda"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/2366hj8dnyz82jifv00raa815ckx8p1i-agdaWithPackages-2.6.4","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"agda"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/b1b6j3s58p2v42x5yd2sv3av3cxp280i-agdaWithPackages-2.6.4","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"agda"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/1xvy98z9isj04mf8np7nr4npsln7y229-agdaWithPackages-2.6.4","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fd04bea4cbf76f86f244b9e2549fca066db8ddff"},"attr_path":"agda"},"last_updated":"2023-12-13T22:54:10Z","outputs":[{"name":"out","path":"/nix/store/qy7kzbjw6kk6kqrx8581j82mfrn997dl-agdaWithPackages-2.6.4","default":true}]}}}