{"name":"lngen","version":"2023-10-17","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":"aebe249544837ce42588aa4b2e7972222ba12e8f"},"attr_path":"lngen"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aebe249544837ce42588aa4b2e7972222ba12e8f"},"attr_path":"lngen"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aebe249544837ce42588aa4b2e7972222ba12e8f"},"attr_path":"lngen"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aebe249544837ce42588aa4b2e7972222ba12e8f"},"attr_path":"lngen"},"last_updated":"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"}]}}}