{"name":"cornelis","version":"0.2.0.0","summary":"agda-mode for Neovim","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3f316d2a50699a78afe5e77ca486ad553169061e"},"attr_path":"cornelis"},"last_updated":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/vp1h2vqi21i5blpxncajc6h9nhkwmbas-cornelis-0.2.0.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3f316d2a50699a78afe5e77ca486ad553169061e"},"attr_path":"cornelis"},"last_updated":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/c6avzypfb9s0ckhs3zrqkaswzdw78nbz-cornelis-0.2.0.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3f316d2a50699a78afe5e77ca486ad553169061e"},"attr_path":"cornelis"},"last_updated":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/glah7f324pbvdp29i0zpi9da4gwvayj7-cornelis-0.2.0.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3f316d2a50699a78afe5e77ca486ad553169061e"},"attr_path":"cornelis"},"last_updated":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/ig5agkk3fhyc86vrygrwlk0gl2s25agm-cornelis-0.2.0.0","default":true}]}}}