{"name":"naproche","version":"0.1.0.0","summary":"Write formal proofs in natural language and LaTeX","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e"},"attr_path":"naproche"},"last_updated":"2022-04-20T07:43:34Z"},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e"},"attr_path":"naproche"},"last_updated":"2022-04-20T07:43:34Z","outputs":[{"name":"out","path":"/nix/store/8rsr2ks4pb3dnqax97mqw3sl7m8dd0cz-Naproche-SAD-0.1.0.0","default":true},{"name":"doc","path":"/nix/store/6g8d2sx1m6q7i9vcqd6adf949hb8q2j4-Naproche-SAD-0.1.0.0-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e"},"attr_path":"naproche"},"last_updated":"2022-04-20T07:43:34Z"},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e"},"attr_path":"naproche"},"last_updated":"2022-04-20T07:43:34Z"}}}