{"name":"agda","version":"2.6.3","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a2eb207f45e4a14a1e3019d9e3863d1e208e2295"},"attr_path":"agda"},"last_updated":"2023-10-06T07:35:11Z","outputs":[{"name":"out","path":"/nix/store/aanwzq6srmcc451rm2dyjdg4c8yqnnym-agdaWithPackages-2.6.3","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"agda"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/r34wk6bqphhzb42mwa5spxlvnvfk2lf2-agdaWithPackages-2.6.3","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"agda"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/5zav75p6g0q1ccf9m8q1gps2jc85rna9-agdaWithPackages-2.6.3","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"75a52265bda7fd25e06e3a67dee3f0354e73243c"},"attr_path":"agda"},"last_updated":"2023-10-25T20:49:13Z","outputs":[{"name":"out","path":"/nix/store/3ri7jmm7jhbjn0pmwfjas2japj1wxhqi-agdaWithPackages-2.6.3","default":true}]}}}