{"name":"agda","version":"2.8.0","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"agda"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/rh1pmgbjzyhxxnpp9cdgddh84ip83zcr-agdaWithPackages-2.8.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"agda"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/h2gq9j1qkj21w9hchxzg77l9wlkh4q15-agdaWithPackages-2.8.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"agda"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/sjlvri0qkcz3vp001z79bi0fkcwp53z1-agdaWithPackages-2.8.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"agda"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/im2882jlj7iqq4g8z1ifsy9jckxqaqsa-agdaWithPackages-2.8.0","default":true}]}}}