{"name":"typstPackages.derive-it_0_1_0","version":"0.1.0","summary":"Simple functions for creating fitch-style natural deduction proofs and derivations","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"typstPackages.derive-it_0_1_0"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/sshs6jc4yxmh93r19hbhg2brwdkg6kgy-typst-package-derive-it-0.1.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"typstPackages.derive-it_0_1_0"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/9j40l6ql38ha4bcg00caxppwjv1p9vj1-typst-package-derive-it-0.1.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"typstPackages.derive-it_0_1_0"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/26bd5dxc4ibfhzy0zmvx5m114y7h2c6w-typst-package-derive-it-0.1.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"typstPackages.derive-it_0_1_0"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/wk75q42aizhnlin68r59hp4fc0168xsh-typst-package-derive-it-0.1.0","default":true}]}}}