{"name":"naproche","version":"2022-04-19","summary":"Write formal proofs in natural language and LaTeX","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd"},"attr_path":"naproche"},"last_updated":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/qc2ipil0zwnljd0balpff9gq9cwsg57i-Naproche-SAD-2022-04-19","default":true},{"name":"doc","path":"/nix/store/7w9p0y2nrm40i1kncvhvy0bhsa0lp7hw-Naproche-SAD-2022-04-19-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6b5019a48f876f3288efc626fa8b70ad0c64eb46"},"attr_path":"naproche"},"last_updated":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/azvkcxnm0gdv8kdhc7n3ra7nhmvsbq7x-Naproche-SAD-2022-04-19","default":true},{"name":"doc","path":"/nix/store/x69mm98p7y2jabvnab4sd3f737w9lhkv-Naproche-SAD-2022-04-19-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd"},"attr_path":"naproche"},"last_updated":"2022-11-25T14:42:37Z","outputs":[{"name":"out","path":"/nix/store/zs3nvphkk52xgv16qsq6866zkh3j41zr-Naproche-SAD-2022-04-19","default":true},{"name":"doc","path":"/nix/store/9jpm8693dgqy5i9mjw9a253aaall3y6i-Naproche-SAD-2022-04-19-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"6b5019a48f876f3288efc626fa8b70ad0c64eb46"},"attr_path":"naproche"},"last_updated":"2022-11-21T15:52:25Z","outputs":[{"name":"out","path":"/nix/store/5a6airbh5vrv8nhn2nqlnpv65ispakw4-Naproche-SAD-2022-04-19","default":true},{"name":"doc","path":"/nix/store/d7wxcvdv5dcbym71k5xp9h93kvw5y0vc-Naproche-SAD-2022-04-19-doc"}]}}}