{"name":"cornelis","version":"0.2.0.1","summary":"agda-mode for Neovim","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"cornelis"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/86n4r2hdgri60835wf77241yyqj38ddi-cornelis-0.2.0.1","default":true},{"name":"data","path":"/nix/store/myqbima7ajnwkb3ijycyikk9aiz24sg7-cornelis-0.2.0.1-data"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"cornelis"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/gay73r7r5j9i2qf880kvi13ad0j3gg9z-cornelis-0.2.0.1","default":true},{"name":"data","path":"/nix/store/fnlhk1kj1gkzymdhwba7pv3jydrm5sk4-cornelis-0.2.0.1-data"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"cornelis"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/9nq4cacqnqf89im2mwk6v53b7hvimcfj-cornelis-0.2.0.1","default":true},{"name":"data","path":"/nix/store/v00nanfzff0npb4sjqmhsphrpbigx7hk-cornelis-0.2.0.1-data"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"c9fe7d12cd78d1adcd12dd15e24432dde5b155a0"},"attr_path":"cornelis"},"last_updated":"2026-09-30T11:58:46Z","outputs":[{"name":"out","path":"/nix/store/qizl753d5g0yh3rvidd3ijywh86g0lml-cornelis-0.2.0.1","default":true},{"name":"data","path":"/nix/store/wqyi7pswnx0k1hnjxq6r47hc2fk1d6am-cornelis-0.2.0.1-data"}]}}}