{"name":"naproche","summary":"Write formal proofs in natural language and LaTeX","description":"","homepage_url":"https://github.com/naproche/naproche#readme","license":"GPL-3.0-only","attribute_paths":["naproche"],"releases":[{"version":"2024-05-19","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"naproche","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"naproche","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"naproche","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"naproche","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"2024-01-18","last_updated":"2024-07-07T07:43:47Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"naproche","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"naproche","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"naproche","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"naproche","commit_hash":"b60793b86201040d9dee019a05089a9150d08b5b","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"2023-07-11","last_updated":"2024-03-08T13:51:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"naproche","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/9iyxgb38xfzl4s3p71p61y0c3c134wq3-Naproche-SAD-unstable-2023-07-11","default":true},{"name":"doc","path":"/nix/store/84mi97zd7vjrl63h1bjkk6bzcx0j7fi9-Naproche-SAD-unstable-2023-07-11-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"naproche","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/ssymvv2hskk0hqy9rw7v5w8gnkilvm98-Naproche-SAD-unstable-2023-07-11","default":true},{"name":"doc","path":"/nix/store/f84nv909l6plbhmc0iw70vg4dgbc0q9b-Naproche-SAD-unstable-2023-07-11-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"naproche","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/p925l8vsnx3jagj056mwxa0nf3kk8nsl-Naproche-SAD-unstable-2023-07-11","default":true},{"name":"doc","path":"/nix/store/4aplk4di29fgl5v2cx73wjdlqnb4r2hv-Naproche-SAD-unstable-2023-07-11-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"naproche","commit_hash":"a343533bccc62400e8a9560423486a3b6c11a23b","date":"2024-03-08T13:51:52Z","outputs":[{"name":"out","path":"/nix/store/khb0n7ng6kklap4maaarshvkjzrh3s8d-Naproche-SAD-unstable-2023-07-11","default":true},{"name":"doc","path":"/nix/store/5wma77n0vshsr85lqama674h9ppxng04-Naproche-SAD-unstable-2023-07-11-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"2022-10-24","last_updated":"2023-12-10T01:36:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"naproche","commit_hash":"2873a73123077953f3e6f34964466018876d87c4","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"naproche","commit_hash":"2873a73123077953f3e6f34964466018876d87c4","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"naproche","commit_hash":"2873a73123077953f3e6f34964466018876d87c4","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"naproche","commit_hash":"2873a73123077953f3e6f34964466018876d87c4","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"2022-04-19","last_updated":"2022-11-25T14:42:37Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"naproche","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"naproche","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"naproche","commit_hash":"55b3f68bda6d4f4dc6092eed0508063f154fa4fd","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"naproche","commit_hash":"6b5019a48f876f3288efc626fa8b70ad0c64eb46","date":"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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.1.0.0","last_updated":"2022-04-20T07:43:34Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"naproche","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"naproche","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"naproche","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"naproche","commit_hash":"0bbb65673c0ba31047c9ba6c4cd211556b534a4e","date":"2022-04-20T07:43:34Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out (Linux only), doc (Linux only)","prerelease":false,"broken":false,"insecure":false}]}