{"name":"lngen","version":"2024-10-22","summary":"Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"lngen"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"lngen"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"lngen"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"12a55407652e04dcf2309436eb06fef0d3713ef3"},"attr_path":"lngen"},"last_updated":"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"}]}}}