{"name":"naproche","version":"2022-10-24","summary":"Write formal proofs in natural language and LaTeX","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2873a73123077953f3e6f34964466018876d87c4"},"attr_path":"naproche"},"last_updated":"2023-12-10T01:36:17Z","outputs":[{"name":"out","path":"/nix/store/i2y5jpyykwqvv6j2c87q1dajwkcp36yh-Naproche-SAD-2022-10-24","default":true},{"name":"doc","path":"/nix/store/gcdwx299mvxib8v23q0prg2sj5d1q586-Naproche-SAD-2022-10-24-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2873a73123077953f3e6f34964466018876d87c4"},"attr_path":"naproche"},"last_updated":"2023-12-10T01:36:17Z","outputs":[{"name":"out","path":"/nix/store/584pg0aq1dvghgjzy5ykzx11ni788shq-Naproche-SAD-2022-10-24","default":true},{"name":"doc","path":"/nix/store/nbpq5qjng9v4zqwnx9hp8aflksnbw8qh-Naproche-SAD-2022-10-24-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2873a73123077953f3e6f34964466018876d87c4"},"attr_path":"naproche"},"last_updated":"2023-12-10T01:36:17Z","outputs":[{"name":"out","path":"/nix/store/pzni2bjh2rf5pl3kkd4bnpmixnqn983y-Naproche-SAD-2022-10-24","default":true},{"name":"doc","path":"/nix/store/hss1z9754hybjwd0szxrn96ij8rnjhk8-Naproche-SAD-2022-10-24-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2873a73123077953f3e6f34964466018876d87c4"},"attr_path":"naproche"},"last_updated":"2023-12-10T01:36:17Z","outputs":[{"name":"out","path":"/nix/store/x3k0vkjbmcih8ps6w02xjnp1bqyg453l-Naproche-SAD-2022-10-24","default":true},{"name":"doc","path":"/nix/store/pwq0q0y7f3gxsw78xdzdpvjkkw103cz0-Naproche-SAD-2022-10-24-doc"}]}}}