{"name":"naproche","version":"2024-05-19","summary":"Write formal proofs in natural language and LaTeX","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"naproche"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/cfmy54r7am94q706fr882037mlmr2z0p-Naproche-SAD-unstable-2024-05-19","default":true},{"name":"doc","path":"/nix/store/i7glbbi8yl5ssdrbvj4qajj97a6kvib6-Naproche-SAD-unstable-2024-05-19-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"naproche"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/p5qjxy4q5pmi0waf7iyyam6bvsyq6fpn-Naproche-SAD-unstable-2024-05-19","default":true},{"name":"doc","path":"/nix/store/bnfyrsvl3i202mavx500ck549qvnvm7d-Naproche-SAD-unstable-2024-05-19-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"naproche"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/cn4acg9dfryhyhwrzj5lvjldx44az7kf-Naproche-SAD-unstable-2024-05-19","default":true},{"name":"doc","path":"/nix/store/6lz34gqrg8d2bp5np5pk2gm439m2r8k8-Naproche-SAD-unstable-2024-05-19-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"f20cd90e28fe0403873f473b29e42662cd86e8c4"},"attr_path":"naproche"},"last_updated":"2026-10-16T02:15:57Z","outputs":[{"name":"out","path":"/nix/store/rr7509hm4ymfhliqp4p9jbxyx26pwn35-Naproche-SAD-unstable-2024-05-19","default":true},{"name":"doc","path":"/nix/store/1gvlcr3044skpdfkc2lcy3cngna00ry3-Naproche-SAD-unstable-2024-05-19-doc"}]}}}