{"name":"haskellPackages.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":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.Agda"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/n0468y9jyfz6plwapdhvn3hkd8bh54rh-Agda-2.8.0","default":true},{"name":"bin","path":"/nix/store/w9iw7xh47syk4rdb299bbldvvi9acvmy-Agda-2.8.0-bin","default":true},{"name":"data","path":"/nix/store/c5dg7k8ci272p92gdn3cdvlwbgvylniq-Agda-2.8.0-data"},{"name":"doc","path":"/nix/store/6s8j0ik5rxjaxn0w37dri4llz9hx844a-Agda-2.8.0-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.Agda"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/vp545wi91199vxdmgg6skan80ssd6lz9-Agda-2.8.0","default":true},{"name":"bin","path":"/nix/store/h3d8grvlwl3155r9nc8q1ryxbngd30vi-Agda-2.8.0-bin","default":true},{"name":"data","path":"/nix/store/bhv1x274nbk8lfx17fl41wm252j1lb93-Agda-2.8.0-data"},{"name":"doc","path":"/nix/store/dx2nqmjhib851z9j0s4b6mgj9nqvlfdx-Agda-2.8.0-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"haskellPackages.Agda"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/nsv187phkrzkmwhg6xvafr928y4qi8mw-Agda-2.8.0","default":true},{"name":"bin","path":"/nix/store/b1br03l1k6p9irdvkhn8rgndgk2y3487-Agda-2.8.0-bin","default":true},{"name":"data","path":"/nix/store/0ahxmqz9sbmrq0b8vah55zz563mb86l4-Agda-2.8.0-data"},{"name":"doc","path":"/nix/store/k0j196n1q8sykx4vimmgfiwl5wqk7l8y-Agda-2.8.0-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"haskellPackages.Agda"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/sp1s4zdx3ahyc18rk5kvzybd8si1jbng-Agda-2.8.0","default":true},{"name":"bin","path":"/nix/store/6g2kcjmba18jb51cdhmkq8a7fm9rjvx7-Agda-2.8.0-bin","default":true},{"name":"data","path":"/nix/store/a9lj49djkmfj2fgwqwmkrv1cn0wck1q0-Agda-2.8.0-data"},{"name":"doc","path":"/nix/store/yr9wxkcd62vr53f83n4zyig1mp3kn2jy-Agda-2.8.0-doc"}]}}}