{"name":"lngen","summary":"Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott","description":"","homepage_url":"https://github.com/plclub/lngen","license":"MIT","attribute_paths":["lngen"],"releases":[{"version":"2024-10-22","last_updated":"2025-05-16T20:19:48Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"lngen","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/hlz3qgx06winzd7ix1w2kn79c8qmsmmh-lngen-unstable-2024-10-22","default":true},{"name":"doc","path":"/nix/store/7fv3dknr325mwmimjgy8f6afsxyg09gf-lngen-unstable-2024-10-22-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"lngen","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/xx6aj2swbcmf9w0z99bc8r7ynhgffykm-lngen-unstable-2024-10-22","default":true},{"name":"doc","path":"/nix/store/gwhlmcn39v315jsr6dmxg32j8hmsrwqv-lngen-unstable-2024-10-22-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"lngen","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/gmrp6vyzw6iqnsr9x4zz9xjgg67brxhf-lngen-unstable-2024-10-22","default":true},{"name":"doc","path":"/nix/store/mmiwljs57j03z00jf3dig85zs6zr2338-lngen-unstable-2024-10-22-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"lngen","commit_hash":"12a55407652e04dcf2309436eb06fef0d3713ef3","date":"2025-05-16T20:19:48Z","outputs":[{"name":"out","path":"/nix/store/a70yiyk3a1d47bf92mqw39qznkg1b6kd-lngen-unstable-2024-10-22","default":true},{"name":"doc","path":"/nix/store/qn68idlaj3rnffwfiph9lfndxs5rl6lz-lngen-unstable-2024-10-22-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"2023-10-17","last_updated":"2024-11-10T13:26:24Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"lngen","commit_hash":"aebe249544837ce42588aa4b2e7972222ba12e8f","date":"2024-11-10T13:26:24Z","outputs":[{"name":"out","path":"/nix/store/8ypw5ag9gkmnla2ixfs7gz6flh0hjbg8-lngen-unstable-2023-10-17","default":true},{"name":"doc","path":"/nix/store/vn63a02kp61iswki5nwkqal4ih7f09lz-lngen-unstable-2023-10-17-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"lngen","commit_hash":"aebe249544837ce42588aa4b2e7972222ba12e8f","date":"2024-11-10T13:26:24Z","outputs":[{"name":"out","path":"/nix/store/riskkr4zjk4yvbc6i5wzhmgidihxj21f-lngen-unstable-2023-10-17","default":true},{"name":"doc","path":"/nix/store/bvi2r9nwbaydl3sirr7zkw32si7z76af-lngen-unstable-2023-10-17-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"lngen","commit_hash":"aebe249544837ce42588aa4b2e7972222ba12e8f","date":"2024-11-10T13:26:24Z","outputs":[{"name":"out","path":"/nix/store/kn47dmqazll2qrn9azznvr12baligbpd-lngen-unstable-2023-10-17","default":true},{"name":"doc","path":"/nix/store/la5d1rgjwhighah3c33ykvrpc054srym-lngen-unstable-2023-10-17-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"lngen","commit_hash":"aebe249544837ce42588aa4b2e7972222ba12e8f","date":"2024-11-10T13:26:24Z","outputs":[{"name":"out","path":"/nix/store/yhm81iif76swpz3gfrchl3jvyap9wnxg-lngen-unstable-2023-10-17","default":true},{"name":"doc","path":"/nix/store/p13skwbzmbsvgvfz32d68ff6lb1lpybb-lngen-unstable-2023-10-17-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0-unstable-2024-10-22","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"lngen","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/h37j3769gji2lvlp359kfpa7qmcs4p1v-lngen-0-unstable-2024-10-22","default":true},{"name":"doc","path":"/nix/store/4a0dsmv7725yhkkbfczx0nrclxipiia5-lngen-0-unstable-2024-10-22-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"lngen","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/47bzh56rxkd6f6c308c40xsbgc1ib04n-lngen-0-unstable-2024-10-22","default":true},{"name":"doc","path":"/nix/store/pia76vcigmahzgwvlynmy0rgj1lkdl43-lngen-0-unstable-2024-10-22-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"lngen","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/kfsykyrzjn1mnv9dac8fw3z7akzqpc0g-lngen-0-unstable-2024-10-22","default":true},{"name":"doc","path":"/nix/store/4al1lh3z6kmyym0gqwlik2nwq3sd0r79-lngen-0-unstable-2024-10-22-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"lngen","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/y971zaw41xgqfjpm3hjfwfhgx9lkpb5w-lngen-0-unstable-2024-10-22","default":true},{"name":"doc","path":"/nix/store/y5abn1aha7mral3ccr6pmmi893rzp75h-lngen-0-unstable-2024-10-22-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}