{"name":"cornelis","summary":"agda-mode for Neovim","description":"","homepage_url":"https://hackage.haskell.org/package/cornelis","license":"BSD-3-Clause","attribute_paths":["cornelis"],"releases":[{"version":"0.2.0.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cornelis","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cornelis","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cornelis","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cornelis","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, data","prerelease":false,"broken":false,"insecure":false},{"version":"0.2.0.0","last_updated":"2024-05-22T06:18:38Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"cornelis","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/vp1h2vqi21i5blpxncajc6h9nhkwmbas-cornelis-0.2.0.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"cornelis","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/c6avzypfb9s0ckhs3zrqkaswzdw78nbz-cornelis-0.2.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"cornelis","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/glah7f324pbvdp29i0zpi9da4gwvayj7-cornelis-0.2.0.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"cornelis","commit_hash":"3f316d2a50699a78afe5e77ca486ad553169061e","date":"2024-05-22T06:18:38Z","outputs":[{"name":"out","path":"/nix/store/ig5agkk3fhyc86vrygrwlk0gl2s25agm-cornelis-0.2.0.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}