{"name":"naproche","version":"2024-01-18","summary":"Write formal proofs in natural language and LaTeX","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"naproche"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/jn53b5qh8fddmqbj79l522jd1p0bczns-Naproche-SAD-unstable-2024-01-18","default":true},{"name":"doc","path":"/nix/store/x4acjjqr8p0yrwnc336cazsa9g9bqgqx-Naproche-SAD-unstable-2024-01-18-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"naproche"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/0idpbx4c5iswmavbwj2f74rx571aihlv-Naproche-SAD-unstable-2024-01-18","default":true},{"name":"doc","path":"/nix/store/9a0fh9chsw6qvsvf3s9y67jx5vacav1x-Naproche-SAD-unstable-2024-01-18-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"naproche"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/dgw9jca8i3h9jp8q0mxz8riw8ksf6d68-Naproche-SAD-unstable-2024-01-18","default":true},{"name":"doc","path":"/nix/store/3p21z6fihb34f7ndrsdp5simsr3xz0di-Naproche-SAD-unstable-2024-01-18-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b60793b86201040d9dee019a05089a9150d08b5b"},"attr_path":"naproche"},"last_updated":"2024-07-07T07:43:47Z","outputs":[{"name":"out","path":"/nix/store/bcc253n01n9cm9jqxzdf5fxqb30xhsx3-Naproche-SAD-unstable-2024-01-18","default":true},{"name":"doc","path":"/nix/store/yabbwzlb9qzfrl0c0nnbmb9zn1b8v1fc-Naproche-SAD-unstable-2024-01-18-doc"}]}}}